权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

基于模型的测试数据生成，可有效测试集成硬件/软件系统

基本信息

批准号：
179085201
负责人：
Professor Dr.-Ing. Peter Göhner
金额：
--
依托单位：
Institut für Automatisierungstechnik und Softwaresysteme (IAS)
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2010
资助国家：
德国
起止时间：
2009-12-31 至 2013-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/179085201?language=en
关键词：
Modellbasierte Testdatenerzeugung zur effizienten Pr

项目摘要

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.

一个韦尔登中的功能通过硬件/软件系统的集成实现而变得越来越重要，因此也可以通过过程自动化系统来实现。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.基于模型和基于模型的开发和测试在研究中也同样适用于工业实践和工业应用，因为它们可以系统地实现对目标的开发。从模型的角度来看，如果功能集成的硬件/软件系统被优化，将产生一个更好的效果。研究的结果是由一个系统模型产生的功能和结构的测试数据，该系统是一个硬件/软件系统，可以自动进行诊断和诊断。这是一个很好的例子，因为今天我们不能再做韦尔登了。