Testmustergenerierung mit Hilfe von ... - ihmor.de

3.3. Abdeckung von Strukturmerkmalen
⎛10⎞
⎜ ⎟
Der Eingabevektor e 1
= ⎜20⎟
deckt von jeder atomaren Bedingung jeweils nur eine
⎜ ⎟
⎝30⎠
Bewertungsmöglichkeit ab; die atomaren Bedingungen (a > b), (a > c) und
(b > c) werden mit falsch bewertet, während (b > a) mit wahr bewertet wird. Dieser
Fall und seine Bewertung der Verzweigungsbedingungen sind in obigen Tabellen mit *1
gekennzeichnet. Die atomare Bedingungsabdeckung erfordert, dass das Testobjekt mit
mehr als einem Eingabevektor ausgeführt wird. Die zusätzliche in den Tabellen mit *2
⎛20⎞
⎜ ⎟
gekennzeichnete Ausführung mit e 2
= ⎜30⎟
bewertet die Teilbedingungen (a > c),
⎜ ⎟
⎝10
⎠
(b > a) und (b > c) mit wahr und (a > b) mit falsch. Die Hintereinanderausführung
des Programms mit e1 und e 2 führt demnach zu einem atomaren Abdeckungsgrad von
cov C2 = 2
1 . Zwei der vier atomaren Bedingungen der Funktion wurden mit beiden
Bewertungsmöglichkeiten ausgeführt, während in beiden Fällen (a > b) mit falsch und
(b > a) mit wahr bewertet wurden.
b) Die Mehrfach-Bedingungsabdeckung stellt stärkere Anforderungen an die Testdaten.
Sie fordert, dass die Verwendung der Testdaten zur Ausführung sämtlicher Kombinationen
der Wahrheitswerte aller atomaren Bedingungen jeder Verzweigungsbedingung führt, und
wird als C 3 -Abdeckung bezeichnet. Die Auswertung sämtlicher Kombinationen von
Teilbedingungen führt zur Auswertung sämtlicher Wahrheitswerte aller komplexen Bedingungen.
Dadurch ist die Zweigabdeckung C 1 in der C 3 -Abdeckung mit eingeschlossen,
d. h. vollständige C 3 -Abdeckung führt zu hundert Prozent C 1 -Abdeckung. Der Abdeckungsgrad
errechnet sich als Division der Anzahl der Verzweigungsbedingungen, deren
Teilbedingungen in sämtlichen Kombinationen getestet wurden, durch die Anzahl aller
Verzweigungsbedingungen:
cov C3 =
___________________________________________________
Mit allen Kombinationen bewertete Verzweigungsbedingungen
Alle Verzweigungsbedingungen
In diesem Fall muss das Testobjekt in der Regel mit mindestens vier Eingabevektoren
ausgeführt werden, um die vier möglichen Kombinationen zu testen, die an Verzweigungsbedingungen
mit zwei Teilbedingungen möglich sind. Bezogen auf das Beispiel aus
⎛30⎞
⎛20⎞
⎛20⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
Abbildung 3-12 decken die Eingabevektoren e 1
= ⎜20⎟
, e 2
= ⎜10⎟
, e 3
= ⎜30⎟
und
⎜ ⎟
⎝10
⎜ ⎟
⎠ ⎝30
⎜ ⎟
⎠ ⎝10⎠
⎛10⎞
⎜ ⎟
e 4
= ⎜10⎟
sämtliche Kombinationen der Verzweigungsbedingung (a > b && a > c) ab.
⎜ ⎟
⎝10⎠
Die von dieser Verzweigungsbedingung abhängige Bedingung (b > a && b > c) wird
30