/KM05b/
Alexander Krupp, Wolfgang Müller:
Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente

Cremers, Armin B.; Manthey, Rainer; Martini, Peter; Steinhage, Volker (Hrsg.): Informatik 2005 - Informatik Live! (Band 2), Lecture Notes in Informatics, Vol. P-68, 2005

+ Download

Abstract:
Ein wichtiges Qualitätsmerkmal des modellbasierten Tests und damit beim Test von Simulink-Modellen sind Überdeckungskriterien. Wir stellen einen Ansatz zur Verbesserung der Testüberdeckung von Simulink-Modellen unter Verwendung der Klassifikationsbaummethode (CTM) vor. Dazu erweitern wir die CTM um eine Signalbeschreibung durch die Ableitung eines Signals.