Zum modellbasierten funktionalen Test reaktiver Systeme

3. Testfallspezifikation
Ein weiteres Anwendungsfeld existentieller Eigenschaften besteht in der Approximation
universeller Eigenschaften durch existentielle Eigenschaften, die
auf den Seiten 76 ff. diskutiert wird.
Klassifikation Testfallspezifikationen – Formalisierungen und Operationalisierungen
von Testzielen – lassen sich neben ad-hoc angegebenen grob in
• funktionale,
• strukturelle und
• stochastische
einteilen, aus denen ohne weitere Modifikationen mit dem in den folgenden
Kapiteln beschriebenen Testfallgenerator Testfälle berechnet werden können.
Funktionale Testfallspezifikationen basieren auf relevanten Anwendungsszenarien,
die im Rahmen des Requirements Engineering oder der Qualitätssicherung
identifiziert wurden. Strukturelle Spezifikationen basieren auf der syntaktischen
Struktur eines Modells oder Programms. Beispiele sind die Abdeckung von
Anweisungen oder von Transitionen. Stochastische Spezifikationen schließlich
nutzen ein Modell, um zufällig (randomisiert gleichverteilt) oder anhand von
Nutzungsprofilen Testfälle zu erzeugen. Auf strukturellen und randomisierten
Kriterien basierende Testfallspezifikationen können im Unterschied zu funktionalen
automatisch erzeugt werden.
Suchraumeinschränkung Testfallspezifikationen dienen auch der Einschränkung
des Suchraums. Mengen von Szenarien in Form einer nichtdeterministischen
endlichen erweiterten Zustandsmaschine (EFSM; eine FSM mit lokalen
Variablen) können getestet werden, indem beispielsweise Kontrollzustandsüberdeckung
auf dieser EFSM gefordert wird. Die Transitionen zwischen den Zuständen
schränken dann die Menge aller Systemabläufe ein.
3.2. Funktionale Testfallspezifikationen
In diesem Abschnitt werden funktionale Testfallspezifikationen, d.h. Mengen
explizit angegebener Szenarien, diskutiert. Dabei findet eine Konzentration auf
modellbezogene Testfallspezifikationen statt, d.h. Testziele wie beispielsweise
Bytepermutationen auf APDU-Ebene im Fall der Chipkarte werden nicht betrachtet.
Für solche Tests könnten auch Modelle verwendet werden. Ihre Codierung
in der Testtreiberumgebung erscheint allerdings vielversprechender: Auf
Modellebene kommen APDUs gar nicht vor.
3.2.1. Test von Szenarien
Unter funktionalen Testzielen werden explizit in Anforderungsdokumenten spezifizierte
Szenarien verstanden. 2 Diese werden dann in Testfallspezifikationen
2 Im Extreme Programming und dem Test-Driven Development (Beck, 2003) übernehmen
Testfälle die Rolle der (unvollständigen) Spezifikation (Pretschner u. a., 2003a).
72