Foliensatz 3.1
Datenflussbasierte Testverfahren Idee und Grundlage
Datenflussbasierte Testverfahren Idee und Grundlage
Idee: Testen der Interaktion zwischen Anweisungen, die Wert einer Variablen berechnen (definieren), und Anweisungen, die diesen Variablenwert benutzen (referenzieren).
●Testfälle unter Berücksichtigung der Datenverwendung herleiten.
●Vollständigkeit anhand Datenverwendung beurteilen.
Ziel(wie beim Kontrollflusstesten): Möglichst viele Fehlerfinden, ohne vollständige Pfadüberdeckung ( alle möglichen Pfade in allen möglichen Häufigkeiten ( z.B. bei Schleifen mit oberen Grenzen)) erreichen zu müssen (zu aufwendig).
●Unterscheidung datenflussorientierter Verfahren:
Alle Interaktionen oder nur Teil davon testen.
( Datenflussbasierte Überdeckungsmaße).
●
Definition der Überdeckungsmaße orientiert sich am
Kontrollflussgraphen, erweitert um zusätzliche Informationen.
Datenflussgraph:
Lokaler Datenfluss:
●Rein lokale Datenflüsse vermeiden (wenn intern Referenz auf
Definition folgt).
finden keine Berücksichtigung bei datenflussbezogenen Testkriterien.
Zwei Arten von lokalem Datenfluss:
●Innerhalb eines Blocks von sequentiell aufeinanderfolgenden
Anweisungen.
●Bei Zuweisung innerhalb einer Bedingung (z.B. in C).
Lösung: auf zwei Knoten aufteilen
und in Entscheidungen :
Zuordnung von bedingten Anweisungen zu Knoten so wählen,dass diese Knoten („Entscheidungsknoten“) nur Referenzen von Variablen enthalten (d.h. DEF(K)=UNDEF(K)={}).
●Beispiel: If ((B=C+D)) aufsplitten in B=C+D und if B.
●Testfälle unter Berücksichtigung der Datenverwendung herleiten.
●Vollständigkeit anhand Datenverwendung beurteilen.
Ziel(wie beim Kontrollflusstesten): Möglichst viele Fehlerfinden, ohne vollständige Pfadüberdeckung ( alle möglichen Pfade in allen möglichen Häufigkeiten ( z.B. bei Schleifen mit oberen Grenzen)) erreichen zu müssen (zu aufwendig).
●Unterscheidung datenflussorientierter Verfahren:
Alle Interaktionen oder nur Teil davon testen.
( Datenflussbasierte Überdeckungsmaße).
●
Definition der Überdeckungsmaße orientiert sich am
Kontrollflussgraphen, erweitert um zusätzliche Informationen.
Datenflussgraph:
Lokaler Datenfluss:
●Rein lokale Datenflüsse vermeiden (wenn intern Referenz auf
Definition folgt).
finden keine Berücksichtigung bei datenflussbezogenen Testkriterien.
Zwei Arten von lokalem Datenfluss:
●Innerhalb eines Blocks von sequentiell aufeinanderfolgenden
Anweisungen.
●Bei Zuweisung innerhalb einer Bedingung (z.B. in C).
Lösung: auf zwei Knoten aufteilen
und in Entscheidungen :
Zuordnung von bedingten Anweisungen zu Knoten so wählen,dass diese Knoten („Entscheidungsknoten“) nur Referenzen von Variablen enthalten (d.h. DEF(K)=UNDEF(K)={}).
●Beispiel: If ((B=C+D)) aufsplitten in B=C+D und if B.
Tags: datenflussbasiert
Quelle:
Quelle:
Tags: datenflussbasiert, kritik, testen, überblick
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)
datenflussbasiert (2)
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)