CoboCards App FAQ & Wishes Feedback
Language: English Language
Sign up for free  Login

Get these flashcards, study & pass exams. For free! Even on iPhone/Android!

Enter your e-mail address and import flashcard set for free.  
Go!
All main topics / Informatik / Softwarekonstruktion

SWK (68 Cards)

Say thanks
40
Cardlink
0
Foliensatz 3.1
Datenflussbasiertes Testen (2)
Kriterien
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
Tags: datenflussbasiertes testen
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)
algebraische Spezifikation (1)
algebrische spezifikation (1)
Ansatz (1)
äquivalenzklassen (1)
Bedingungsüberdeckung (1)
bedingungsüberdeckung (1)
bewertung (2)
blackbox (1)
CMMI (1)
Code (1)
datenflussanalyse (1)
datenflussbasiert (2)
datenflussbasiertes testen (1)
datenflussbasierut (1)
Diagrammtypen (1)
einschränkung (1)
emf (3)
entscheidungstabelle (1)
Erweiterung (1)
evolution (1)
fehler (1)
fehlerhandlung (1)
fehlerzustand (1)
gef (3)
generieren (1)
gmf (1)
grenzen des testens (1)
Grenzwertanalyse (1)
grundidee (1)
integrationsstrategien (1)
integrationstest (1)
Invariante (2)
iso9000 (1)
komplexität (2)
Komplexität (2)
Komponententest (1)
kontrollflussanalyse (1)
kontrollflussbezogen (2)
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)
objektorientierte (1)
ocl (1)
omg (1)
positiv (1)
Probleme (2)
qualität (2)
qualitätslenkung (1)
qualitätsmanagement (3)
qualitätsprüfung (1)
robust (1)
software (4)
spezifikation (3)
standards (1)
Standards (1)
strukturelles Testen (1)
suite (1)
symbolische ausführung (1)
Systemtest (1)
testen (2)
testprozess (1)
Testprozess (1)
überblick (1)
übung3 (1)
UML (2)
UMl (1)
ursache (1)
ursache-wirkungsgraph (1)
v-modell (1)
validierung (2)
verifizierung (1)
verifzierung (1)
vorbedingung (1)
white-box (2)
zentral (1)
ziele (1)
zustandsbasierter test (1)
zyklomatisch (3)
Report abuse

Cancel
Email

Password

Login    

Forgot password?
Deutsch  English