CoboCards App FAQ & Wünsche Feedback
Sprache: Deutsch Sprache
Kostenlos registrieren  Login

Hol' Dir diese Lernkarten, lerne & bestehe Prüfungen. Kostenlos! Auch auf iPhone/Android!

E-Mail eingeben: und Kartensatz kostenlos importieren.  
Und Los!
Alle Oberthemen / Informatik / Softwarekonstruktion

SWK (68 Karten)

Sag Danke
26
Kartenlink
0
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
Quelle:
27
Kartenlink
0
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
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)
algebraische Spezifikation (1)
algebrische spezifikation (1)
Ansatz (1)
äquivalenzklassen (1)
Bedingungsüberdeckung (1)
bedingungsüberdeckung (1)
bewertung (2)
blackbox (1)
CMMI (1)
Code (1)
datenflussanalyse (1)
datenflussbasiert (2)
datenflussbasiertes testen (1)
datenflussbasierut (1)
Diagrammtypen (1)
einschränkung (1)
emf (3)
entscheidungstabelle (1)
Erweiterung (1)
evolution (1)
fehler (1)
fehlerhandlung (1)
fehlerzustand (1)
gef (3)
generieren (1)
gmf (1)
grenzen des testens (1)
Grenzwertanalyse (1)
grundidee (1)
integrationsstrategien (1)
integrationstest (1)
Invariante (2)
iso9000 (1)
komplexität (2)
Komplexität (2)
Komponententest (1)
kontrollflussanalyse (1)
kontrollflussbezogen (2)
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)
objektorientierte (1)
ocl (1)
omg (1)
positiv (1)
Probleme (2)
qualität (2)
qualitätslenkung (1)
qualitätsmanagement (3)
qualitätsprüfung (1)
robust (1)
software (4)
spezifikation (3)
standards (1)
Standards (1)
strukturelles Testen (1)
suite (1)
symbolische ausführung (1)
Systemtest (1)
testen (2)
testprozess (1)
Testprozess (1)
überblick (1)
übung3 (1)
UML (2)
UMl (1)
ursache (1)
ursache-wirkungsgraph (1)
v-modell (1)
validierung (2)
verifizierung (1)
verifzierung (1)
vorbedingung (1)
white-box (2)
zentral (1)
ziele (1)
zustandsbasierter test (1)
zyklomatisch (3)
Missbrauch melden

Abbrechen
E-Mail

Passwort

Login    

Passwort vergessen?
Deutsch  English