Foliensatz 3.1
Variablen/ Objektverwendung:
Computational s. Predicative Use
Variablen/ Objektverwendung:
Computational s. Predicative Use
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
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
Tags: datenflussbasierut
Quelle:
Quelle:
Kartensatzinfo:
Autor: Annika
Oberthema: Informatik
Thema: Softwarekonstruktion
Schule / Uni: TU Dortmund
Veröffentlicht: 19.03.2014
Tags: Prof Dr Jürjens
Schlagwörter Karten:
Alle Karten (68)
Abnahmetest (1)
algebraische (2)
Ansatz (1)
bewertung (2)
blackbox (1)
CMMI (1)
Code (1)
datenflussbasierut (1)
Diagrammtypen (1)
einschränkung (1)
emf (3)
Erweiterung (1)
evolution (1)
fehler (1)
fehlerhandlung (1)
fehlerzustand (1)
gef (3)
generieren (1)
gmf (1)
Grenzwertanalyse (1)
grundidee (1)
integrationstest (1)
Invariante (2)
iso9000 (1)
komplexität (2)
Komplexität (2)
Komponententest (1)
kreis (1)
kriterien (1)
kritik (1)
lazy evaluation (1)
lebenszyklus (1)
MDA (1)
mda (2)
Meta (1)
meta (1)
Metamodell (1)
metrik (1)
modell (1)
mvc (1)
nachbedingung (1)
negativ (1)
ocl (1)
omg (1)
positiv (1)
Probleme (2)
qualität (2)
qualitätslenkung (1)
qualitätsprüfung (1)
robust (1)
software (4)
spezifikation (3)
standards (1)
Standards (1)
suite (1)
Systemtest (1)
testen (2)
testprozess (1)
Testprozess (1)
überblick (1)
übung3 (1)
UML (2)
UMl (1)
ursache (1)
v-modell (1)
validierung (2)
verifizierung (1)
verifzierung (1)
vorbedingung (1)
white-box (2)
zentral (1)
ziele (1)
zyklomatisch (3)
