| 摘要 |
System und Verfahren zum Erzeugen von Testfällen umfassen einen Modellinverter, der ausgebildet ist, um eine Inverse eines Modells zu generieren, ein Umwandlungsmodul, das ausgebildet ist, um eine Anforderungsspezifikation in zumindest ein Ausgangsszenario umzuwandeln, und einen Modellsimulator, der ausgebildet ist, um auf der Basis der Inverse des Modells und des zumindest einen Ausgangsszenarios einen Testfall zu generieren, der die Anforderungsspezifikation erfüllt.
|
