• laufend

    Der Muenster-Generator für Glass-box-Testfälle

    Das Testen von Software-Komponenten ist ein aufwändiger Prozess, der durch den Einsatz geeigneter Werkzeuge unterstützt werden kann. Mit Muggl arbeiten wir an einem solchen Werkzeug. Der Muenster generator of glass-box test cases dient der automatischen Erzeugung vonTestfällen. Dazu führt Muggl Java Bytecode symbolisch aus und sucht dabei nach Ausführungspfaden durch ein Programm. Um diese Aufgabe effizient bearbeiten zu können, kommen Technicken wie Constraint Solving, die Erzeugung von Entscheidungspunkten sowie Backtracking zum Einsatz. Als Ergebnis wird ein Satz von Testfällen in Form von JUnit-Tests erstellt, die direkt genutzt werden können.


    Projektstatus laufend
    Projektzeitraum 01.11.2003- 01.02.2025
    Webseite http://pi-forschung.uni-muenster.de/de/muggl
    Schlüsselwörter Softwaretests, Glass-Box Testing, Automatische Testfallgenerierung,

     

  • abgeschlossen

    DAAD Austauschprogramm: PPP Spanien - Testfallgenerierung mit kooperierenden Constraint-Solvern

    Ziel ist die Entwicklung eines Werkzeugs zur automatischen Erzeugung von Testfällen für in der Programmiersprache Java geschriebene Programme, durch das der Kontroll- und/oder Datenfluss in einem System betrachteter Java-Klassen überdeckt wird und ggf. vorhandene Fehler aufgedeckt werden.


    Projektstatus abgeschlossen
    Projektzeitraum 01.01.2014- 31.12.2015
    Förderer Deutscher Akademischer Austausch Dienst
    Projektnummer 57049954
    Schlüsselwörter Java, Testfall, Kontrollfluss-Überdeckung, Datenflussüberdeckung, symbolische Berechnung, Constraint-Löser.