Testmustergenerierung mit Hilfe von ... - ihmor.de

3.3. Abdeckung von Strukturmerkmalen
impliziert, dass das zu prüfende Objekt in seiner Breite getestet wird, also nach Möglichkeit
fast all seine funktionalen Komponenten während der Testdurchführung mindestens
einmal ausgeführt werden.
In erster Linie sind kontrollflussorientierte Strategien zur Messung der Strukturabdeckung
zu nennen. Datenflussorientierte Strategien spielen in dieser Arbeit keine Rolle und werden
daher nicht behandelt. Die Messung der Strukturabdeckung erfolgt anhand des Kontrollflussgraphen,
der in Abschnitt 3.3.2 erklärt wird. In Abschnitt 3.3.3 werden die Begriffe
Abdeckungskriterium und Abdeckungsgrad definiert. Eine nähere Beschreibung der unterschiedlichen
in dieser Arbeit relevanten Abdeckungskriterien erfolgt in den Abschnitten
3.3.4 und 3.3.5 und folgt den Definitionen von Baresel [Bar00] und Chilenski [ChiMil94].
Es werden folgende Abdeckungskriterien behandelt:
• Anweisungsabdeckung (C 0 )
• Zweigabdeckung (C 1 )
• Bedingungsabdeckung
o Einfache (atomare) Bedingungsabdeckung (C 2 )
o Mehrfach-Bedingungsabdeckung (C 3 )
o Minimale Mehrfach-Bedingungsabdeckung
o Modifizierte Mehrfach-Bedingungsabdeckung (MC/DC)
• Pfadabdeckung (C 7 )
3.3.1 Bemerkung
Einleitend ist zu dem Thema Abdeckung zu bemerken, dass die Gründlichkeit von Tests
nicht nur aufgrund eines Abdeckungskriteriums bewertet werden sollte. Dies verdeutlicht
folgende C-Funktion:
int speed (int distance, int time) {
return distance/time;
}
Abbildung 3-10: Programmbeispiel in C
Mithilfe je eines Wertes für distance und time kann diese Funktion mit hundertprozentiger
Abdeckung getestet werden, wenn die Ausführung aller Anweisungen als
Abdeckungsmaß herangezogen wird. Dabei handelt es sich allerdings nur um eine von sehr
vielen Möglichkeiten – bei 16-Bit Integer 2 16 Möglichkeiten – bei der Wahl des Wertes
von time. In nur einem Fall kann ein Fehlverhalten der Funktion aufgedeckt werden,
wenn time den Wert Null annimmt und die Division durch null zu einem Laufzeitfehler
führt. Die Messung der Abdeckung allein kann folglich keine Aussage über die Qualität
von Testfällen treffen. Dem gegenüber steht der Fall, wenn keine hundertprozentige Abdeckung
durch eine Menge von Testmustern erreicht wird. Dies ist ein Indiz dafür, dass
weitere Testmuster erstellt werden sollten, um die bisherigen Testfälle zu vervollständigen.
24