Bei Hybrid- oder Elektrofahrzeugen kommen zunehmend Li-Ionen-Batterien zum Einsatz. Aufgrund der chemischen Eigenschaften dürfen Li-Ionen Zellen nur innerhalb enger elektrischer und thermischer Grenzen betrieben werden. Ein Batteriemanagementsystem (BMS) überwacht den Zustand der Zellen daher laufend und stellt u.a. eine Zustandsbestimmung der Zellen (SOH, SOC) zur Verfügung. Die korrekte und sichere Funktion des BMS ist von hoher Wichtigkeit und wird daher mit entsprechend aufwändigen Tests überprüft.

Gegenwärtig werden Testverfahren eingesetzt bei welchen die Ableitung der Testfälle heuristisch erfolgt. Die Qualität und die Dauer der Tests hängen somit stark vom Erfahrungswissen des Testingenieurs ab. Methodischere modellbasierte Vorgehensweisen werden seit wenigen Jahren für Tests für Informationstechnische ereignisdiskrete Systeme vorgeschlagen. Für Systeme mit einem zeitkontinuierlichen Systemanteil (wie im Fall des Systemverbundes BMS und Batterie) liegt eine vergleichbare Methode nicht vor. Ziel dieses Forschungsvorhabens ist es nun, eine Methodik für ein automatisches Testsystem für diskret/kontinuierliche Systeme zu entwerfen.