Foliensatz 3.1
Grenzen des Testens
Statische Analyse
Grenzen des Testens
Statische Analyse
Trade-off zwischen Testaufwand und Anteil gefundener Fehler niemals 100%, keine garantierte 100%ige Fehlerfreiheit
Lösung: Verifikationsansätze, die nicht (nur) auf Ausführung des Programmes (= dynamisches Testen) beruhen:
●Statische Analyse: vollautomatisch, aber nur bestimmte
Fehlerklassen
−z.B. Analyse des Kontrollflussgraphen auf Anomalien
●Symbolische Ausführung
●formale Verifikation:
−vollautomatisch (z.B. Modell-Checking): leichtere Bedienung,
eingeschränkte Mächtigkeit
−oder teilautomatisiert (z.B. interaktives Theorembeweisen):
anspruchsvolle Bedienung, prinzipiell (beinahe) uneingeschränkte Mächtigkeit
Lösung: Verifikationsansätze, die nicht (nur) auf Ausführung des Programmes (= dynamisches Testen) beruhen:
●Statische Analyse: vollautomatisch, aber nur bestimmte
Fehlerklassen
−z.B. Analyse des Kontrollflussgraphen auf Anomalien
●Symbolische Ausführung
●formale Verifikation:
−vollautomatisch (z.B. Modell-Checking): leichtere Bedienung,
eingeschränkte Mächtigkeit
−oder teilautomatisiert (z.B. interaktives Theorembeweisen):
anspruchsvolle Bedienung, prinzipiell (beinahe) uneingeschränkte Mächtigkeit
Tags: grenzen des testens
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)
grenzen des testens (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)
