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. Details dieses Verfahrens erläuterten wir anhand des Tests eines Tempomaten aus dem Automobilbau. Erste Ergebnisse zeigen, dass die Methodik selbst für große Testsequenzen anwendbar ist.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Modelchecking von Klassifikationsbaum-Testsequenzen


    Contributors:


    Publication date :

    2005


    Size :

    10 Seiten, 7 Bilder, 9 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German