Modellbasierte Testdatenerzeugung zur effizienten Prüfung integrierter Hardware-/Softwaresysteme

在一个更好的系统中，韦尔登的功能可以通过集成硬件/软件系统来实现，因此也可以通过Prozessautomatisierungssystemen zu obachten来实现。Merkmal dieser Hardware-/Softwaresysteme ist die enge Kopplung mit technischen Prozessen，wie etwa in den Steuerungen und Regelungen eines Kraftfahrzeugs，die eine zeitabhängige und diskret-kontinuierliche Dynamik aufweisen. Die Prüfung der korrekten Funktionalität des Entwurfs als auch des gefertigten Systems macht aufgrund der hohen Komplexität einen hohen Anteil der Gesamtkosten aus.这将是一个有效的硬件和软件测试系统，在这个方面进行评估、诊断、测试。Dies beinhaltet die automatisierte Ermittlung von Testdaten，welche Fehler zügig aufdecken und gleichzeitig eine hohe Produktqualität sicherstellen.基于模型和基于模型的开发和测试在研究中也同样适用于工业实践和工业应用，因为它们可以系统地实现对目标的开发。Durch Nutzung von Modellen，welche die Funktionen integrierter Hardware-/Softwaresysteme beschreiben，wird eine höhere Effizienz der Prüfung angestrebt。研究的结果是由一个系统模型产生的功能和结构的测试数据，该系统是一个硬件/软件系统，可以自动进行诊断和诊断。这是一个很好的例子，因为今天我们不能再做韦尔登了。

Funktionen in eingebetteten Systemen werden heutzutage immer häufiger durch integrierte Hard-ware-/Softwaresysteme realisiert, insbesondere ist dies auch bei Prozessautomatisierungssystemen zu beobachten. Merkmal dieser Hardware-/Softwaresysteme ist die enge Kopplung mit technischen Prozessen, wie etwa in den Steuerungen und Regelungen eines Kraftfahrzeugs, die eine zeitabhängige und diskret-kontinuierliche Dynamik aufweisen. Die Prüfung der korrekten Funktionalität des Entwurfs als auch des gefertigten Systems macht aufgrund der hohen Komplexität einen hohen Anteil der Gesamtkosten aus. Es wird daher ein effizientes Vorgehen zur gemeinsamen Prüfung von Hardware und Software dieser eingebetteten Systeme benötigt, das die einzelnen Aspekte Validierung, Debug, Diagnose und Test in sich vereint. Dies beinhaltet die automatisierte Ermittlung von Testdaten, welche Fehler zügig aufdecken und gleichzeitig eine hohe Produktqualität sicherstellen. Modellbasierte und modellgetriebene Entwicklungs- und Testverfahren gewinnen sowohl in der Forschung als auch in der industriellen Praxis an Bedeutung, da sie die schrittweise Entwicklung von den Anforderungen bis hin zur Implementierung systematisieren. Durch Nutzung von Modellen, welche die Funktionen integrierter Hardware-/Softwaresysteme beschreiben, wird eine höhere Effizienz der Prüfung angestrebt. Wesentliche Ziele des Forschungsvorhabens sind die Testdatengenerierung für Funktion und Struktur aus einem Systemmodell eingebetteter Hardware-/Software-systeme sowie die automatische Auswertung und Fehlerdiagnose. Dies stellt eine Herausforderung dar, welche bis heute nicht zufrieden stellend gelöst werden konnte.