Integration von Modellprüfung und Automatischer Testgenerierung

模型测试和自动测试生成的集成

• 批准号: 137421300
• 负责人: Professor Dr. Peter H. Schmitt
• 金额: --
• 依托单位: Forschungsgruppe Logik und Formale Methoden (aufgelöst)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2009
• 资助国家: 德国
• 起止时间: 2008-12-31 至 2012-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/137421300?language=en
• 关键词: Integration; von; Modellpr; fung; und

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.

在众多的系统工程中，黑匣子信息将被用来进行工程测试，而最好的测试方法将被用来进行工程测试。这是一个新的自动测试方法（ATG）的问题。这将是错误的，因为一个工作原理基础将通过两个非飞行状态下的ATG（off-the-fly ATG）和飞行状态下的ATG（on-the-fly ATG）的生成和辅助测试来实现。Unser neuer synergetischer Answer，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.我们将韦尔登在一个工业秋季研究中进行测试。