This flashcard is just one of a free flashcard set. See all flashcards!

DR-Weg


Alle DR-Interaktionen
Alle Paare DEF-REF(ohne dazwischenliegendes erneutes DEF)
Kriterium „alle DR-Interaktionen“:
Ziel: Alle Paare von Definitionen / Referenzen einer Variablen testen
Testdatenmenge T erfüllt Kriterium„alle DR-Interaktionen“ g.d.w.
●Für jede Variable x gilt:
Für jede Definition von x und jede Referenz von x, die davon
erreicht wird, muss mindestens ein Weg in
Wege(T) existieren, auf dem die Definition
eine Referenz von x erreicht.


Alle Definitionen ( all-Defs)
Kriterium „alle Definitionen“ (all-Defs):
●Resultat jeder Zuweisung (Definition) wenigstens einmal benutzen („referenzieren“).
●Testfallmenge T erfüllt Kriterium „alle Definitionen“ g.d.w.
−Für jede Variable x und jede Definition von x existiert mindestens
ein Weg in Wege(T), auf dem die Definition eine Referenz von x
erreicht.
Analog zu den kontrollflussbasierten Kriterien: Kriterien an die Menge der Testpfade definieren.



Alle Referenzen
Motivation:Für Referenz einer Variablen im Entscheidungsknoten: Ausgang der Entscheidung wichtig.
Kriterium „alle Referenzen“:
●Ziel: Alle ausgehenden Kanten eines Entscheidungsknotens
berücksichtigen.
Testdatenmenge T erfüllt Kriterium „alle Referenzen“ g.d.w.:
Variable x
Definition von x in Knoten k
Referenz von x in Knoten l ( der von k erreicht wird)
Nachfolgerknoten m von l
Die Wegemenge Wege (T) muss mindestens ein Wegstück
u*m={k,...,l,m} enthalten, wobei die Definition von x in k die Referenz von x in l über Weg u erreicht.

u*m={k,...,l,m} ist Knotenfolge u{k,...,l} vereinigt m


Erklärung Max:
alle referenzen heißt alle DR-Interaktionen + falls die referenz eines DR-Paars in einem entscheidungsknoten auftritt brauchst du zwei pfade für dieses paar: einer sodass nach d. entscheidungskoten in true-richtung und einer sodass d. entscheidungsknoten zu false-richtung weitergelaufen wird

●Einfache Datenflusskriterien wie „Alle DR-Interaktionen“ und
„alle Referenzen“: Kriterien zum Testen aller Paare von
Definitionen und Referenzen.
Jeweils auf einem Weg von Definition zur Referenz.
●Ausreichend unter Gesichtspunkt des Datenflusses.
Zwischen Definition und Referenz findet keine Änderung der Variablen statt.
●Etwas feinkörniger: zwischen Entscheidungs-und
Berechnungs-Referenzen unterscheiden
computational und predicative use