• 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 German Academic Exchange Service
    Projektnummer 57049954
    Schlüsselwörter Java; Testfall; Kontrollfluss-Überdeckung; Datenflussüberdeckung; symbolische Berechnung; Constraint-Löser