Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

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