Testmustergenerierung mit Hilfe von ... - ihmor.de

3.3. Abdeckung von Strukturmerkmalen
Eingabevektoren erfüllen allerdings für (b > a && b > c) nicht das Kriterium. Die drei
vorgestellten Eingabevektoren führen demnach zu einem Abdeckungsgrad von
cov MC/DC = 2
1 .
3.3.4.4 Pfadabdeckung
Die Pfadabdeckung (engl. path coverage) ist das umfangreichste Abdeckungskriterium und
fordert die Ausführung aller möglichen Pfade des Testobjektes. Im Beispiel von Abbildung
3-11 sind vier Pfade möglich. Bei komplexeren Systemen übersteigt die Ausführung sämtlicher
Pfade allerdings die Möglichkeiten der Tester. Zudem können im Testobjekt
Schleifen ohne obere Grenzen der Iterationszahl vorkommen, wodurch eine unendliche
Anzahl von Pfaden zu testen wäre. Aufgrund dessen wird die Pfadabdeckung in der Praxis
nur in einfachen, überschaubaren Systemen verwendet und hat in dieser Arbeit keine
weitere Relevanz. Sie wird in der Literatur als C 7 -Abdeckung bezeichnet [Hart01].
3.3.5 Modellabdeckung
Unter Modellabdeckung wird die Abdeckung von Modellkomponenten verstanden. Je nach
Art des vorliegenden Modells sind seine Bestandteile sehr unterschiedlich. Ebenso
variieren dementsprechend die Abdeckungskriterien, unter deren Berücksichtigung das
Modell getestet werden soll. Die für die Codeabdeckung genannten Kriterien lassen sich
zum Teil auf Modelle übertragen. Im Folgenden werden die Abdeckungskriterien für
Modelle in Simulink und Stateflow beschrieben, da diese vornehmlich in dieser Arbeit
verwendet werden.
3.3.5.1 Zustandsabdeckung
Die Anweisungsabdeckung besitzt keine äquivalente Entsprechung bei der Betrachtung
von Modellen. Ein nahe liegendes Abdeckungskriterium ist die Abdeckung von Grundblöcken,
aus denen ein Modell besteht. Jeder Grundblock entspricht dabei in der Regel
einer Menge von Anweisungen. Eine Ausprägung in Bezug auf Stateflowmodelle ist die
Zustandsabdeckung (engl. state coverage). Das damit verbundene Testziel ist, jeden im
Statechart vorkommenden Zustand (State) mithilfe der Testdaten mindestens einmal zu
durchlaufen. Der Abdeckungsgrad errechnet sich hierbei als Verhältnis der durch die Testdaten
abgedeckten Zustände des Statecharts und der insgesamt vorhandenen Zustände.
3.3.5.2 Zweigabdeckung
Das Kriterium Zweigabdeckung kann auf Modelle übertragen werden. Zur Erfüllung
dieses Kriteriums wird eine Menge von Testdaten benötigt, die für jede Verzweigung im
Simulinkmodell – beispielsweise an Blöcken wie Logical Operator, Relational Operator,
Switch – alle möglichen Werte berechnet. Für das in Abbildung 3-13 gezeigte Modell
werden zwei Eingabevektoren benötigt, um bzgl. der Zweigabdeckung das Modell ausreichend
zu testen: e = ( 0)
und e = ( 2)
1 2
. Im ersten Fall würde der Block Relational Operator
den Vergleich mit falsch bewerten, im zweiten Fall mit wahr. Der Abdeckungsgrad dieses
32