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.
Automatische Generierung von Abnahmetests für eingebettete Systeme im Automobilbereich
automatic generation of evaluation tests for imbedded automotive systems
2005
10 Seiten, 6 Bilder, 3 Tabellen, 7 Quellen
Conference paper
German
Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2005
|STEP X : strukturierter Entwicklungsprozess fuer eingebettete Systeme im Automobilbereich
Automotive engineering | 2003
|