SWK | Learn flashcards online

All main topics / Informatik / Softwarekonstruktion

SWK (68 Cards)

Foliensatz 3.0
Fehler und Ursachen

Was als Fehler oder Mangel gilt
Fehler:
●Nichterfüllung festgelegter Anforderung.
●Abweichung zwischen Ist-Verhalten und Soll-Verhalten.
Mangel:
●Gestellte Anforderung oder berechtigte Erwartung in Bezug auf beabsichtigten Gebrauch nicht angemessen erfüllt.
●Z.B. Beeinträchtigung der Verwendbarkeit bei gleichzeitiger
Erfüllung der Funktionalität oder Nichterfüllung angemessener
Erwartung.

Ursachenkette für Fehler
●Jeder Fehler oder Mangel: seit Zeitpunkt der Fertigstellung in
Software vorhanden.

Kommt erst bei Ausführung der Software zum Tragen.
●Beschreibung dieses Sachverhalts als Fehlerwirkung(failure).
●Ursache einer Fehlerwirkung: Fehlerzustand(fault) in Software (auch als Defekt, innerer Fehler bezeichnet).
●Ursache eines Fehlerzustands: Fehlhandlung(error) einer
Person.
●Beachte Fehlermaskierung: »Ein Umstand, bei dem ein
Fehlerzustand die Aufdeckung eines anderen verhindert«
[IEEE 610].

Tags: fehler, ursache, validierung, verifizierung
Source:

27
Cardlink

Foliensatz 3.0
Validierung und Verifizierung

Validierung
Prüfung, ob Entwicklungsergebnis individuelle Anforderungen bezüglich einer speziellen beabsichtigten Nutzung erfüllt.
●Haben wir das richtige System realisiert?

Verifizierung
Prüfung, ob Ergebnisse einer Entwicklungsphase Vorgaben der
Phaseneingangs-Dokumente erfüllen.
●Haben wir das System richtig realisiert?

Tags: validierung, verifzierung
Source: