We're updating the issue view to help you get more done. 

Automatic generation of traces by using test case generation

Description

Ich würde gerne durch Testfallgenerierung Traces automatisch erstellen. Was ist dafür geeignet?
3a) JSON Dateien in einen Ordner schreiben und dann ein Kommando hinzufügen mit dem alle Traces aus einem Ordner geladen werden. Man könnte auch eine Liste an Dateinamen an ProB2 übergebn?
3b) ein Prolog Kommando in prob2_interface.pl erstellen welches eine Liste an Pfaden (Transition IDs) an ProB2-Java übergibt. ProB2 würde dann für jeden Trace eine Datei in einem Ordner erstellen.
3c) es gibt auch Quellcode von Jessica Petrasch welcher in Java Testfälle generiert; ich habe aber leider keine Informationen wie man diesen aufrufen kann.

Status

Assignee

Fabian Vu

Reporter

Michael Leuschel

Labels

None

Priority

Major