Im Beitrag werden ein Ansatz zur automatischen Generierung von Testfällen für eingebettete Systeme, sowie dessen methodische und beschreibungsmitteltechnische Umsetzung dargestellt. Der Ansatz charakterisiert sich durch eine Modellierung von Schnittstellen sowie bestimmten typischen Nutzerverhaltens innerhalb des Testmodells, wodurch ein sehr kompaktes und zielgerichtetes Testmodell entsteht. Gemeinsam mit strukturellen Testspezifikationen können daraus Teststimuli generiert werden, die sowohl direkt wie auch nach einer Vervollständigung durch frühe Modelle des Entwicklungsprozesses angewendet werden können. Zur Abbildung der Testziele im Testmodell werden kausale Petrinetze verwendet, die sich gegenüber Automaten durch die Möglichkeit der Modellierung von Lokalzuständen mit anschließender automatische Generierung der Globalzustände sowie der Möglichkeit der Faltung auszeichnen. Der Ansatz wird innerhalb des STEP-X Projektes angewendet und weist eine signifikante Reduzierung an möglichen Pfaden im aufgespannten Schnittstellenzustandsraum auf. Die Anzahl an resultierenden Testsequenzen bleibt im betrachteten Beispiel innerhalb eines realisierbaren Rahmens. Insgesamt stellt der in diesem Beitrag dargestellte Ansatz eine effiziente Möglichkeit zur Ableitung von Testfällen bei eingebetteten Systemen dar. Die so generierten Testfälle stellen dabei eine sinnvolle Ergänzung zu expertenwissenbasierten Testfällen dar und bieten zudem die Möglichkeit, eine quantitative Aussage bezüglich der Testabdeckung treffen zu können.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automatische Generierung von Abnahmetests für eingebettete Systeme im Automobilbereich


    Additional title:

    automatic generation of evaluation tests for imbedded automotive systems


    Contributors:
    Kuhler, S. (author) / Horstmann, M. (author) / Schnieder, E. (author) / Herrmann, S. (author) / Kluge, J. (author)


    Publication date :

    2005


    Size :

    10 Seiten, 6 Bilder, 3 Tabellen, 7 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German