Testmustergenerierung mit Hilfe von ... - ihmor.de

3.3. Abdeckung von Strukturmerkmalen
1
2
3
4
5
6
7
8
9
int maximum (int a, int b, int c)
{
int max;
if (b > c)
{
if (b > a)
max = b;
else
max = a;
}
else
{
if (c > a)
max = c;
else
max = a;
}
return max;
}
wahr
4
maximum ( 10, 20, 30)
wahr
3
5
1
2
falsch
(20 > 30)
falsch
(30 > 10)
wahr
6
falsch
7
8
9
Abbildung 3-11: C-Funktion maximum mit zugehörigem Kontrollflussgraphen (rechts)
3.3.3 Abdeckungskriterium und Abdeckungsgrad
Abdeckungskriterium. Unter einem Abdeckungskriterium werden Strukturmerkmale
eines Testobjektes verstanden, deren Ausführung während der Testdurchführung gefordert
wird. Bei strukturorientierten Testverfahren werden ein oder mehrere Abdeckungskriterien
als Testziele gewählt.
Abdeckungsgrad. Der Abdeckungsgrad cov criteria ist das Maß für die Vollständigkeit eines
strukturorientierten Testmusters in Bezug auf das Abdeckungskriterium criteria. Zu seiner
Berechnung wird die Anzahl durch Anwendung des Testmusters ausgeführter und durch
das Abdeckungskriterium geforderter Strukturkomponenten in Verhältnis zur Anzahl aller
betroffenen Strukturkomponenten gesetzt:
cov criteria =
_______________________________
ausgeführte betroffene Komponenten
alle betroffenen Komponenten
Testfallabdeckungsgrad. Der Abdeckungsgrad eines vollständigen Testfalls berücksichtigt
die Abdeckungsgrade seiner Testmuster. Da die Testmuster eines Testfalls bezüglich
eines Abdeckungskriteriums in der Regel nicht disjunkt sind, lässt sich der Testfallabdeckungsgrad
nicht als Summe der Abdeckungsgrade aller Testmuster berechnen. Er
errechnet sich aus dem Verhältnis der Strukturkomponenten, die durch mindestens ein
26