Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern

用于生成测试模式的高效可满足性算法

• 批准号: 15765440
• 负责人: Professor Dr. Rolf Drechsler
• 金额: --
• 依托单位: Arbeitsgruppe Rechnerarchitektur und Zuverlässige Eingebettete Systeme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2006
• 资助国家: 德国
• 起止时间: 2005-12-31 至 2009-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/15765440?language=en
• 关键词: Effiziente; Erf; llbarkeitsalgorithmen; die; Generierung

Während Schaltungen noch bis vor einigen Jahren vornehmlich in Rechenanlagen Verwendung fanden, werden sie zunehmend ein Teil unserer täglichen Umgebung und finden in vielen sicherheitskritischen Bereichen Anwendung. Exemplarisch seien hier medizinische Apparaturen und die Automobilindustrie genannt. Schon heute entstehen z.B. in dem zuletzt genannten Bereich bis zu 40% der Kosten durch die Elektronik. Hinzu kommt, dass hier immer mehr ¿kritische Komponenten, wie Bremsen und Lenkung, elektronisch unterstützt bzw. gesteuert werden. Daher werden immer höhere Anforderungen an die Verfahren gestellt, die die Korrektheit dieser Schaltungen und Systeme gewährleisten sollen. In den vergangenen Jahren wurden große Fortschritte erzielt, doch durch die immer höhere Komplexität der Systeme und den Einsatz neuer Technologien müssen auch die Werkzeuge weiterentwickelt werden, die die Qualität sicher stellen. Ein wesentlicher Aspekt bei der Erstellung von Schaltungen und Systemen ist der Test. Die durch den Test entstehenden Kosten betragen bis zu 50% der Gesamtkosten der Fertigung. Eine grundlegende Methode zum Testen ist die Generierung von Testmustern ausgehend von einem System und einem betrachteten Fehlermodell. Im Rahmen des Projektes sollen Verfahren zur automatischen Testmustergenerierung1 (ATPG=Automatic Test Pattern Generation) basierend auf Boolescher Erfüllbarkeit (SAT=Satisfiability) untersucht werden. Die Leistungssteigerung soll auf Basis der folgenden Forschungsziele realisiert werden:

他说：“我不知道这是怎么回事，我不知道这是怎么回事。出口汽车配件和汽车工业总成。他说：“这是一件非常重要的事情。”Hinzu kommt，dass hier immer mehr？kritische komponenten，Wie Bremsen and Lenkung，elektronisch unterstützt bzw.gesteuert w.他在这里和他的兄弟姐妹在一起，这是一件很重要的事情，因为这是一件很重要的事情。在这一点上，我们可以从系统和技术的角度来判断问题的严重性。我们在更大的范围内进行了测试。这是一场考验，因为他背叛了我50%的财产。一种新的测试方法是一种新的测试方法，即一种新的测试方法。我是Rahman des Projektes Sollen Verfahren zur Automatischen TestmusterGenerierung1(ATPG=自动测试模式生成)的基础上，自动生成的测试是可满足性的。在现实生活的基础上，我们将继续努力：