Testen von Software

Grunddaten zu diesem Projekt

Beschreibung

Zum Testen von Software wurden zwei Beiträge geliefert. Zum Einen wurde das Werkzeug Muggl (Muenster generator of glass-box test cases) entwickelt, das automatisch und systematisch Testfälle für Java-Klassen erzeugt. Es führt Java Bytecode symbolisch aus, um Ausführungspfade durch ein Programm zu finden. Dazu nutzt es Constraint Solving und Backtracking. Da die Zahl der gefundenen Testfälle sehr hoch werden kann und die meisten von ihnen redundant sind, werden bezüglich ihres Beitrags zur globalen Kontroll- und Datenfluss redundante Testfälle eliminiert. Die Machbarkeit dieses Ansatzes wird durch experimentelle Studien nachgewiesen. Als weiterer Beitrag wurde im Rahmen einer Fallstudie eine Erhebung über die Testpraktiken in Münsteraner IT-Unternehmen durchgeführt, bei der Empfehlungen über Best Practices ausgesprochen wurden.