Foliensatz 3.4
Black-Box-Test
Zustandsbasierter Test
Black-Box-Test
Zustandsbasierter Test
Bei vielen Systemen: Einflussdes bisherigen Ablaufs des Systems auf
Berechnung der Ausgaben.
●Endlicher Automat besteht aus endlicher Anzahl von internen
Konfigurationen – Zustände.
●Zustand eines Systems beinhaltet implizit Informationen.
Ergibt sich aus bisherigen Eingaben.
Nötig um Reaktion des Systems auf folgende Eingaben zu bestimmen.
System: Annahme von unterschiedlichen Zuständen beginnend vom Startzustand.
●Auslösung von Zustandsänderungenoder –übergänge durch
Ereignisse, z.B. Funktionsaufrufe.
●Bei Zustandsänderungen Aktionen durchführbar.
●Spezieller Zustand:Startzustand und Endzustand
Ziele
Nachweis der Konformität des Testobjekts zum Zustandsdiagramm
(Zustands-Konformanztest).
Zusätzlich Test unter nicht-konformanten Benutzungen
(Zustands-Robustheitstest).
Berechnung der Ausgaben.
●Endlicher Automat besteht aus endlicher Anzahl von internen
Konfigurationen – Zustände.
●Zustand eines Systems beinhaltet implizit Informationen.
Ergibt sich aus bisherigen Eingaben.
Nötig um Reaktion des Systems auf folgende Eingaben zu bestimmen.
System: Annahme von unterschiedlichen Zuständen beginnend vom Startzustand.
●Auslösung von Zustandsänderungenoder –übergänge durch
Ereignisse, z.B. Funktionsaufrufe.
●Bei Zustandsänderungen Aktionen durchführbar.
●Spezieller Zustand:Startzustand und Endzustand
Ziele
Nachweis der Konformität des Testobjekts zum Zustandsdiagramm
(Zustands-Konformanztest).
Zusätzlich Test unter nicht-konformanten Benutzungen
(Zustands-Robustheitstest).
Tags: zustandsbasierter test
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)
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)
zustandsbasierter test (1)
zyklomatisch (3)