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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatische Generierung von Abnahmetests für eingebettete Systeme im Automobilbereich


    Weitere Titelangaben:

    automatic generation of evaluation tests for imbedded automotive systems


    Beteiligte:
    Kuhler, S. (Autor:in) / Horstmann, M. (Autor:in) / Schnieder, E. (Autor:in) / Herrmann, S. (Autor:in) / Kluge, J. (Autor:in)


    Erscheinungsdatum :

    2005


    Format / Umfang :

    10 Seiten, 6 Bilder, 3 Tabellen, 7 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch