Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit

5. Implementierung und Test
von möglichen Deadlocks. Des Weiteren beinhaltet das Programm Analysen für Abhängigkeiten
von Threads innerhalb einer Applikation.
PMD. Die Funktionsweise von PMD 5 entspricht grundsätzlich der von FindBugs und
JLint, jedoch ohne Datenflussanalyse. PMD untersucht den Quelltext aber zusätzlich nach
Kodierungsrichtlinien, die ebenfalls eine fehlerhafte, oder aber zumindest eine unsaubere
Programmierung vermuten lassen.
Lint4J. Auch Lint4J 6 untersucht den Quelltext und Bytecode nach Problemen bzgl. der
Performance, Skalierbarkeit und Threadsicherheit, analysiert den Datenfluss und erstellt
Blockierungsgraphen. Die durchgeführten Analysen basieren laut Aussagen des Herstellers
auf Erfahrungswerten, die während der Implementierung von Performance- und sicherheitskritischen
Anwendungen gewonnen wurden.
Neben diesen Programmen existieren weitere Überprüfungssysteme wie z.B. Bandera 7 [62]
und ESC/Java 8 [63], welche jedoch deutlich weitergehende Ansätze verfolgen. Diese basieren
auf Beweisen von zuvor bestimmten, formalen Vor- und Nachbedingungen (vgl.
[64, 65]) und Verifikation von Zustandsmodellen. Aufgrund der hohen Komplexität und
des wissenschaftlichen Schwerpunkts dieser Möglichkeiten wurde von deren Nutzung im
Rahmen dieser Arbeit abgesehen.
5.2.3. Bewertung
Der Einsatz statischer, automatisierter Analyseverfahren hat deutlich zur Lesbarkeit und
Qualität der geschriebenen Quelltexte beigetragen. Insbesondere die Integration in die Entwicklungsumgebung
erleichterte den Umgang wesentlich und Hinweise konnten sofort
umgesetzt werden. Diese Hinweise waren aufgrund der hohen Zahl an formalisierten Erfahrungen
zu weit verbreiteten und häufig gemachten Fehlern sehr zahlreich und führten
zu einem ständigen Lernprozess während der Entwicklung. So wurden insbesondere
robustere und effizientere Lösungen implementiert, deren Funktionsweise im Anschluss
durch dynamische Testfälle überprüft werden konnten.
Es liegt jedoch in der Natur der Sache, dass nicht alle Meldungen zu Quelltextabschnitten
auf existierende Probleme oder Fehler hinweisen. Je nach Kontext sind verschiedene,
gleichwertige Lösungsansätze möglich und Falschmeldungen sind nicht gänzlich zu vermeiden.
5 http://pmd.sourceforge.net
6 http://www.jutils.com
7 http://bandera.projects.cis.ksu.edu
8 http://secure.ucd.ie/products/opensource/ESCJava
54