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
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)
kontrollflussanalyse (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)
