TARGET - Testfallgenerierung für eingebettete Systeme

Eingebettete Software ist weiter verbreitet, öfter in sicherheitskritischen Anwendungen eingesetzt, und viel schwieriger zu testen als PC-basierte Software. Die Schwierigkeit beim Testen kommt zu einem guten Teil vom Umstand, dass eingebettete Software oft Teil eines Systems von interagierenden Systemen ist, die schwierig genau modellierbar, korrekt vorhersagbar, und akkurat beobachtbar sind. TARGET wird rigorose Entwurfsmethoden zur automatischen Ergänzung bestehender Test-Suites für Software von eingebetteten Systemen erforschen, und dabei speziell diese Herausforderungen in Angriff nehmen. Dies wird in einem Tool resultieren, das dabei hilft eine höhere Testabdeckung, eine geringere Verbreitung von unentdeckten Fehlern, reduzierten Entwicklungskosten, und eine kürzere Time-to-Market zu erreichen.