Foliensatz 5

die Auswahlkriterien Anweisungs-, Zweig- und
Bedingungsüberdeckung definieren notwendige
Anregungsbedingungen, aber keine hinreichenden
Anregungs- und keine Beobachtungsbedingungen
Sicherung der Beobachtbarkeit durch Test im Schrittbetrieb
oder zusätzliche Ausgaben während des Tests oder der
Simulation.
Ohne Beobachtung aller Zwischenergebnisse lässt sich von
den Kontrollflussüberdeckungen kaum auf die
Fehlerüberdeckung schließen.
Prof. G. Kemnitz · Institut für Informatik, Technische Universität Clausthal 13. Juli 2012 44/96
1. Software 5. Kontrollflussorientierte Tests
Vergleich mit Fehlermodellen
Ω Ω Eingaberaum
Nachweismenge eines Modellfehlers
Nachweismenge eines tatsächlichen Fehlers
Eingabemenge einer Anregungsbedingung