Logo - Fakultät Illustration
 

Abschlussarbeit

Illustration

Mutantengenerierung durch Typ-Constraints

Verfasser: Robert Bär
Betreuer: Dipl.-Inform. Andreas Thies
Status: abgeschlossen
Jahr: 2010
Download: PDF

Für ein Refactoring-Tool ist es essentiell, dass es das Verhalten eines

Programms nicht ändert. Erfolgreich wurde dies für verschiedene

Programmierwerkzeuge mittels Typ-Constraints umgesetzt, welche für die

Verwendung von Klassen und Interfaces in Java-Programmen eine

Beibehaltung des bisherigen Programmverhaltens garantieren.

Eine genau gegenteilige Anforderung stellt das Mutationstesten: Hier

soll eine Änderung im Code erfolgen, welche die Bedeutung des Programms

gezielt verändert, um damit dem Programm zugehörige Test-Suiten auf die

Güte ihrer Abdeckung hin zu untersuchen. Im Rahmen dieser Arbeit wird

untersucht, wie sich Typ-Constraints gezielt umkehren lassen, um

qualitativ hochwertige Mutanten zu erzeugen.

Jennifer Schmidt | 10.01.2011
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Programmiersysteme, 58084 Hagen, Tel.: +49 2331 987-2998