/KM05a/
Alexander Krupp, Wolfgang Müller:
Modelchecking von Klassifikationsbaum-Testsequenzen

GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", München, April 2005.

+ Download

Abstract:
Im Entwurf und Test von elektronischen Systemen stellt sich die Aufgabe, Testmuster mit Anforderungsbeschreibungen abzugleichen. Dieser Artikel stellt eine Methodik zur formalen Verifikation von Testmustern bzgl. funktionalen, zeitannotierten Anforderungsbeschreibungen vor. Während Teile der Anforderungsbeschreibungen in temporallogische Formeln abgebildet werden können, liefern die Testfälle der Klassifikationsbaummethode das zustandsorientierte Modell, das verifiziert werden kann. Erste Ergebnisse zeigen, dass die Methodik selbst für große Testsequenzen anwendbar ist.