Evolutionärer Test von Embedded Systems

Eingebettete Systeme (Embedded Systems) steuern technische Prozesse (z.B. Motorsteuerung) oder führen sicherheitsrelevante Überwachungs- und Regelaufgaben (z.B. ABS, ESP) aus. Dazu müssen solche Systeme sowohl funktionale als auch zeitliche Anforderungen zuverlässig erfüllen. Ein Fehler im Zeitverhalten eines Systems liegt z.B. vor, wenn es eine Ausgabe zu früh macht oder eine Berechnung zu lange dauert und daher eine Ausgabe zu spät erfolgt. Aufgabe des Testers ist folglich, die Eingabesituationen mit den längsten und kürzesten Ausführungszeiten zu finden, um zu überprüfen, ob die für das System spezifizierten Zeitschranken verletzt werden.

Der Beitrag stellt dar, wie evolutionäre Algorithmen zur Lösung dieser Testdesignaufgabe eingesetzt werden können, wie der Ansatz auf strukturbasiertes Testen übertragen werden kann und welche Erfahrungen bei DaimlerChrysler mit dieser Teststrategie gemacht wurden.

Dr. Joachim Wegener, DaimlerChrysler AG