Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Definition/ Definitional-use
Wertzuweisung,zustandsverändern
z.B. r = m oder r = 5: def(r)

Berechnungs-Referenz/ Computational use
Benutzung in Ausdrücken, zustandserhaltend
z.B. r = m mod n oder r = op1(m,n): c-use(m,n) und def(r)

Entscheidungs-Referenz/ Predicative use
Benutzung in Bedingungen, zustandserhaltend
z.B. while(r!=0) oder if(r!=0): p-use(r)

All-defs: Jede Definition min. einmal ohne dazwischen
liegendes erneutes def in Referenz (c-use oder p-use)
verwenden.[Bem.: Egal ob c-use oder p-use, also konsistent mit Def. auf F. 114.]Gibt es eine Testmenge, die
All-defs erfüllt ?



Erfüllt Pfad (1, 2-3, 4-6, 7, 8, 9-11, 8, 12, 13)
auch Alle DR-Interaktionen[= jedes Paar def/ref
(ohne dazwischen liegendes erneutes def)ausführen] ?



Erfüllt die Pfadmenge von der vorherigen Folie Alle-Referenzen?Reicht schon der einzelne Testfall von davor ?
Was sind jeweils die Nachfolgerknoten ?
(1, 2-3, 4-6, 7, 8, 9-11, 8, 12, 13)



Alle k-DR-Interaktionen
Verkettungen von Definition- Referenz


Kontextüberdeckung