Integration von Modellprüfung und Automatischer Testgenerierung

在Vielen系统中-项目将会有黑匣子-Konformitätstesten zum Engpass，Weil die Anzahl der Benötigten Testfälle Expldiert。在新的方法下，自动测试一般(ATG)手套模型中出现了问题，这就是问题所在。这将是一个错误的过程，因为它是一种新的理论，它纠缠着Wundierung Wird and Durchführung beder Schritte Wird and Durchführung Beder Schritte Durchführung Beder Schritte(Off-the-ly ATG)中的测试。从现在开始，我们的工作就是快速、快速、高效地完成测试任务，而不是像现在这样快速地进行测试。Der wichtigste Fortschritt im Vergleich zur vorhandenen技术学家在飞行中懒惰ATG，麻省理工学院威尼格测试Einen höheren Abdeckungsgrad der Spezifikation zu erzielen，aufschlussreichere测试zu finden，Effizienter Testienter Testen zu Generieren and reduzierbares Testen von Nichtdefiisschen Systmeen zu unterstützen。在工业领域，我们的工作就像弗法伦一样。

In vielen Systementwicklungs-Projekten wird klassisches Black-Box-Konformitätstesten zum Engpass, weil die Anzahl der benötigten Testfälle explodiert. Ziel des beantragten Projektes ist es, dieses Problem durch eine neue Methode zur automatischen Testgenerierung (ATG) mittels Modellprüfung zu lösen. Dies wird erreicht, indem eine Werkzeug-unabhängige theoretische Fundierung entwickelt wird und durch die Kombination der beiden existierenden Ansätze: die Generierung und Ausführung der Tests in zwei unabhängigen Schritten (off-the-fly ATG) und die streng simultan gekoppelte Durchführung beider Schritte (on-the-fly ATG). Unser neuer synergetischer Ansatz, den wir lazy on-the-fly ATG nennen, führt die generierten Fragmente von Testsequenzen mit Hilfe einer feinkörnigen Optimierungssteuerung aus, die u.a. Rücksetzverfahren und dynamische Information aus bereits ausgeführten Tests benutzt. Der wichtigste Fortschritt im Vergleich zur vorhandenen Technologie ist die Fähigkeit von lazy on-the-fly ATG, mit weniger Tests einen höheren Abdeckungsgrad der Spezifikation zu erzielen, aufschlussreichere Tests zu finden, effizienter Tests zu generieren und reproduzierbares Testen von nichtdeterministischen Systemen zu unterstützen. Wir werden das Verfahren in einer industriellen Fallstudie auswerten.