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 set info:
Author: Annika
Main topic: Informatik
Topic: Softwarekonstruktion
School / Univ.: TU Dortmund
Published: 19.03.2014
Tags: Prof Dr Jürjens
Card tags:
All cards (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)
