This flashcard is just one of a free flashcard set. See all flashcards!
46
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
Source:
Source:
Flashcard info:
Author: Annika
Main topic: Informatik
Topic: Softwarekonstruktion
School / Univ.: TU Dortmund
Published: 19.03.2014