Hol' Dir diese Lernkarten, lerne & bestehe Prüfungen. Kostenlos! Auch auf iPhone/Android!

Analysemittel : Kontrollflussgraph

Idee:
●Auswahl der Testdaten: Viele Durchläufe durch Kontrollfluss des
Programms testen; dafür wenig Testfälle gebrauchen.
Varianten, differenzieren nach:
●Art der verwendeten Kontrollflusswege oder -wegstücke.
●Art und Weise der Überdeckung.
●angestrebtem Überdeckungsgrad

Kontrollflussgraph eines Programms P
Gerichteter Graph    G= (N,E)
mit 2 ausgezeichneten Knoten nstart, nfinal
(Anfangs- und Endanweisungen eines Programms)
nur durch start-Knoten betretbar

Knoten stellt Anweisungen / sequenzielle Anweisungsfolgen dar.
●Kante beschreibt möglichen Kontrollfluss zwischen den Anweisungsfolgen ( auch Zweig).
●Maximal bezüglich ersten beiden Eigenschaften.
●Entscheidungsknoten: Knoten mit mindestens 2 Nachfolgeknoten.

Pfad / vollständiger Weg:
●Folge von Knoten und Kanten, die mit Startknoten beginnt und
Endknoten endet.

Wege (T,P):
●Menge vollständiger, endlicher Wege w des Kontrollflussgraphen, für die Testdatum t aus Menge der Testdaten T existiert, das Weg w ausführt.

●Zyklus: Weg im Kontrollflussgraphen mit mindestens zwei Knoten,
der an demselben Knoten beginnt und endet.
●Einfacher Zyklus: Zyklus, bei dem alle Knoten (außer Anfangs- und Endknoten) verschieden sind.



Analyse Pfade des Kontrollflussgraphen und zugehörige Eingaben
Bedingungen  kontrollflussbestimmende Anweisungen  und Aussagen über Programmvariablen berechnen

Achtung: unerreichbare Wegstücke, nicht erreichbare Anzahl Schleifendurchläufe..




Durch kontrollflussbezogenes Verfahren aufdeckbare Fehler:
Berechnungsfehler
Richtiger Kontrollflussweg im Programm ausgeführt aber min. ein berechneter Variablenwert falsch
Bereichsfehler
nicht richtiger Kontrollflussweg im Programm ausgeführt
Eingabebereich Kontrollflussweg stimmt nicht mit Eingabebereich Programm überein
Unterbereichsfehler
spezielle Bereichsfehler, Abfrage fehlt oder es gibt zusätzliche falsche Abfrage

● Anweisungsüberdeckung(statement coverage; C0-Überdeckung;
alle Knoten).
●Entscheidungs-/Zweigüberdeckung(decision coverage;
C1-Überdeckung, alle Zweige).
●Grenze-Inneres-Test(boundary interior coverage).
● Pfadüberdeckung(path coverage; C
∞-Überdeckung, alle Pfade).



Anweisungsüberdeckung : alle Anweisungen

100%ige Anweisungsüberdeckungnicht immer erreichbar
(Ausnahmebedingungen: erheblicher Aufwand während Testphase
oder ""dead code")
schwaches Kriterium
fehlende Anweisungen nicht erkennbar, nicht ausführbare Programmteile werden entdeckt, alle anderen Fehler nur zufällig

Zweigüberdeckung : alleZweige

besser als C0
durchlaufene Programmteile erkennbar(ggf. optimierbar)
unzureichend für Test von Schleifen, nicht ausführbare Knoten und Zweige sicher entdeckt, alle anderen Fehler nur zufällig


mit 100%iger Anweisungsüberdeckung kann keine 100%ige Zweigüberdeckung garantiert werden

umgekehrt schon

Grenze-Inneres-Überdeckung

auf Schleifen beschränktes Kriterium

Pfadüberdeckung

obere Grenzen nicht immer gegeben
Beispiel:
Schleife, in der boolescher Zufallswert generiert wird:
Kann beliebig lange Wert false generieren, bevor true generiert wird.

Warum werden durch 100%-ige Pfadüberdeckung,die ja 100% der
Pfade testet, nicht 100% der Fehler gefunden ?
Antwort:
●Es werden zwar alle Pfade getestet, aber nicht mit allen
möglichen Variablenbelegungen.
●Es wird nur vorhandene Funktionalität getestet und nicht, welche
Funktionalität evtl. fehlt.