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
Source:
Source:
Flashcard set info:
Author: Annika
Main topic: Informatik
Topic: Softwarekonstruktion
School / Univ.: TU Dortmund
Published: 19.03.2014
Tags: Prof Dr Jürjens
Card tags:
All cards (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)