DART

Wir präsentieren ein neues Werkzeug namens DART, das Software automatisch testet und drei Haupttechniken kombiniert: (1) automatisierte Extraktion der Schnittstelle eines Programms mit seiner externen Umgebung durch statische Quellcode-Analyse; (2) automatische Generierung eines Testtreibers für diese Schnittstelle, der Zufallstests durchführt, um die allgemeinste Umgebung zu simulieren, in der das Programm arbeiten kann; und (3) dynamische Analyse des Verhaltens des Programms unter Zufallstests und automatische Generierung neuer Testeingaben, um die Ausführung systematisch entlang alternativer Programmwege zu steuern. Zusammen bilden diese drei Techniken das Directed Automated Random Testing, kurz DART. Die Hauptstärke von DART besteht darin, dass die Tests vollständig automatisiert auf jedes kompilierbare Programm durchgeführt werden können – es ist nicht notwendig, einen Testtreiber oder ein Testgerät zu schreiben. Während der Tests erkennt DART Standardfehler wie Programmabstürze, Verletzungen von Voraussetzungen und Nichtbeendigung. Erste Experimente zur Unit-Testung mehrerer Beispiele von C-Programmen sind sehr vielversprechend.