Effiziente Testfallgenerierung für C-Programme durch Testability-Transformationen

Masterarbeit (abgeschlossen 2021)

Erstbetreuer: Prof. Dr. Malte Lochau

Zweitbetreuer: M. Sc. Sebastian Ruland

Beschreibung

Eine Testability-Transformation ist eine Form der Programmtransformation, die zur Verbesserung einer Testfallgenerierung eingesetzt werden kann. Dabei muss die Testability-Transformation aber nicht auf dem Quellcode eines Programms durchgeführt werden. Auch Graphische Repräsentationen von Quellcode, wie Kontrollflußautomaten, können transformiert werden. Dazu werden Knoten und Kanten im Kontrollflußautomaten modifiziert oder neue Knoten und Kanten in den Kontrollflußautomaten eingefügt.

In dieser Arbeit werden nicht semantikerhaltende Regeln zur Testabilitty-Transformation von Kontrollflußautomaten vorgestellt. Die Regeln beziehen sich auf Programmstrukturen von C-Programmen. Alle definierten Regeln wurden mithilfe des Testgenerierungstools CPAChecker implementiert. Die Ergebnisse der Evalutation zeigen, dass in wenigen Einzelfällen eine Verbesserung der Testfallgenerierung in Form von mehr Kantenabdeckung des Kontrollflußautomaten zu sehen ist. Allerdings hat die Transformierung der Kontrollflußautomaten in den meisten Fällen keinen oder nur eine sehr geringe Auswirkung auf die Testfallgenerierung.

Die PDFs der Abschlussarbeit und Präsentation werden auf Anfrage zur Verfügung gestellt.

⇐ Zurück zur Übersicht der Abschlussarbeiten