Zastosowanie statycznej analizy do walidacji kodu języka Java

• Autorzy: Janicki M. , Strzecha K.

Warianty tytułu

EN

Application of static analysis to the Java language code validation

• Języki publikacji: PL

Abstrakty

PL

Jedną z metod automatycznej inspekcji kodu jest analiza statyczna. Pomimo ograniczeń jest ona efektywna dla języków programowania cechujących się silną typizacją danych oraz wspomagających automatyczne zarządzanie przydzielaniem pamięci. Stosowanie tego rodzaju analizy kodu pozwala na jego walidację poprzez postulowanie konwencji nazewnictwa oraz wykrywanie błędów projektowych.

EN

One of methods for automatic code inspection is static analysis. In spite of limitations, it is effective for languages featuring strong data typing and supporting automatic memory allocation management. The use of this sort of code analysis allows for its validation by enforcing naming conventions and detecting design errors.

Słowa kluczowe

PL

język Java; statyczna analiza kodu

EN

Java language; static code analysis

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2004
• Tom: T. 8, z. 3
• Strony: 529--534
• Opis fizyczny: Bibliogr. 14 poz.

Twórcy

autor

Janicki M.

• Katedra Informatyki Stosowanej, Politechnika Łódzka

autor

Strzecha K.

• Katedra Informatyki Stosowanej, Politechnika Łódzka

Bibliografia

• [1] Alagic S., Arbib M.: Projektowanie programów poprawnych i dobrze zbudowanych. Warszawa, Wydawnictwo Naukowo-Techniczne 1982
• [2] Bloch J.: Efektywne programowanie w języku Java. Gliwice, Wydawnictwo Helion 2002
• [3] Eckel B.: Thinking in Java. New Jersey, Mindview Inc. 2002
• [4] Gosling J., Joy B., Steele G., Bracha G.: The Java Programming Language Specification. California, Sun Microsystems Inc. and Addison-Wesiey Publishing Company 2000
• [5] Jaszkiewicz A.: Inżynieria oprogramowania. Gliwice, Wydawnictwo Helion 1997
• [6] Jones C.B.: Konstruowanie oprogramowania metodą systematyczną. Warszawa, Wydawnictwo Naukowo-Techniczne 1984
• [7] Lindholm T., Yellin R: The Java virtual machine Specification. Califomia, Sun Microsystems Inc. and Addison-Wesley Publishing Company 1999
• [8] Morgan M.: Poznaj język Java 1.2. Warszawa, Wydawnictwo Mikom 1999
• [9] Myers G.J.: Projektowanie niezawodnego oprogramowania. Warszawa, Wydawnictwo Naukowo-Techniczne 1980
• [10] Shalloway A., Trott J.R.: Projektowanie zorientowane obiektowo: Wzorce projektowe. Gliwice, Wydawnictwo Helion 2002
• [11] Java Compiler Compiler (JavaCC) - The Java Parser Generator. Sun Microsystems Inc. 1996
• [12] Code Conventions for the Java Programming Language. Sun Microsystems Inc. 1999
• [13] Tassel Van D.: Praktyka programowania. Warszawa, Wydawnictwo Naukowo-Techniczne 1982
• [14] Wilson S., Kesselman J.: Java Platform Performance: Strategies and Tactics. Califomia, Sun Microsystems Inc. and Addison-Wesiey Publishing Company 2001