Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit

5. Implementierung und Test
Objektcode. Bug-Patterns werden ausführlich anhand der Programmiersprache Java in einem
Buch von E. Allen[57] beschrieben.
Verwendete Software
Eine detaillierte Analyse verschiedener Softwaresysteme für statische Testverfahren findet
sich in [58]. Die Tabelle 5.1 gibt einen komprimierten Vergleich der in dieser Arbeit verwendeten
Software wieder. Die jeweiligen Anwendungen konnten in die Entwicklungsumgebung
integriert werden, um, wie bei der Überprüfung auf Einhaltung der Kodierungsrichtlinien,
auch hier während der Programmierung direkt den Entwicklungsprozess zu
unterstützen.
Tabelle 5.1.: Analysierte Fehlertypen. Angelehnt an [58].
Kategorie Beispiel FindBugs JLint PMD Lint4J
Allgemeines Nullzeigerreferenzierung x x x x
Nebenläufigkeit Auftritt von Deadlocks x x x x
Array Länge kleiner 0 x x o o
Mathematik Division durch Null o x o o
Bedingungen Unerreichbarer Code x o x x
Zeichenketten Stringvergleich mittels == x x x x
E/A-Ströme Nicht geschlossener Strom x o o o
Ungenutzte Anw. Ungenutzte lokale Variable x o x x
Entwurf Leerer Konstruktor x o x x
Unnötige Anw. Unnötiger Rückgabewert o o x x
Performance Objekterzeugung in Schleifen x o x x
FindBugs. FindBugs 3 [59] ist ein Erkennungsystem von Bug-Patterns für Java. Es nutzt
verschiedene Techniken, um Präzision, Effizienz und Benutzbarkeit zu vereinen. Ein Hauptmerkmal
ist die Verwendung von abstrakten Syntax-Bäumen (ähnlich zu [60]), um verdächtige
Quelltextabschnitte zu identifizieren. In vielen Fällen werden auch Datenflussanalysen
durchgeführt, etwa um Nullzeigerreferenzierung zu entdecken.
JLint. JLint 4 [61] analysiert syntaktisch, wie FindBugs, den Java Bytecode und überprüft
den Datenfluss im Programm. JLint erstellt zusätzlich einen Graphen aller Blockierungen,
um zyklische Wiederholungen in diesem zu entdecken. Dies ermöglicht die Aufdeckung
3 http://findbugs.sourceforge.net
4 http://jlint.sourceforge.net
53