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
41
Cardlink
0
Foliensatz 3.1
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

Tags: datenflussbasierut
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