This flashcard is just one of a free flashcard set. See all flashcards!
36
Foliensatz 3.1
Kontrollflussanalyse
Kontrollflussanalyse
Kontroll- und Datenflussanalyse
Suche nach Anomalien im Programmtext.
●Anomalie:Unstimmigkeit, die zur Fehlerwirkung führen kann.
–Anomal: unregelmäßig, regelwidrig.
–Kann Fehlerzustand sein, muss aber nicht.
●Statische Analyse:Nicht alle Fehlerzustände einfach nachweisbar (Fehlerzustände als Fehlerwirkung bei Ausführung).
– Z.B.: bei Division Wert des Divisors in Variable halten
Variable kann zur LaufzeitWert Null annehmen.
Fehlerwirkung, statisch nicht
Einfach aber effektiv:Manuelle Analyse des Kontrollflussgraphen auf Anschaulichkeit.
●Ziel:Abläufe durch Programmstück leicht manuell erfassen.
●Teile des Graphen unübersichtlich
Einfach aber effektiv:Manuelle Analyse des Kontrollflussgraphen
auf Anschaulichkeit.
●
Ziel:Abläufe durch Programmstück leicht manuell erfassen.
●
Teile des Graphen unübersichtlich
Zusammenhänge und Ablauf kaum nachvollziehbar.
Fehlerträchtig (und schlecht wartbar).
Überarbeitung des Programmtextes.
Suche nach Anomalien im Programmtext.
●Anomalie:Unstimmigkeit, die zur Fehlerwirkung führen kann.
–Anomal: unregelmäßig, regelwidrig.
–Kann Fehlerzustand sein, muss aber nicht.
●Statische Analyse:Nicht alle Fehlerzustände einfach nachweisbar (Fehlerzustände als Fehlerwirkung bei Ausführung).
– Z.B.: bei Division Wert des Divisors in Variable halten
Variable kann zur LaufzeitWert Null annehmen.
Fehlerwirkung, statisch nicht
Einfach aber effektiv:Manuelle Analyse des Kontrollflussgraphen auf Anschaulichkeit.
●Ziel:Abläufe durch Programmstück leicht manuell erfassen.
●Teile des Graphen unübersichtlich
Einfach aber effektiv:Manuelle Analyse des Kontrollflussgraphen
auf Anschaulichkeit.
●
Ziel:Abläufe durch Programmstück leicht manuell erfassen.
●
Teile des Graphen unübersichtlich
Zusammenhänge und Ablauf kaum nachvollziehbar.
Fehlerträchtig (und schlecht wartbar).
Überarbeitung des Programmtextes.
Tags: kontrollflussanalyse
Source:
Source:
Flashcard info:
Author: Annika
Main topic: Informatik
Topic: Softwarekonstruktion
School / Univ.: TU Dortmund
Published: 19.03.2014