CoboCards App FAQ & Wishes Feedback
Language: English Language
Sign up for free  Login

Get these flashcards, study & pass exams. For free! Even on iPhone/Android!

Enter your e-mail address and import flashcard set for free.  
Go!
All main topics / Informatik / Softwarekonstruktion

SWK (68 Cards)

Say thanks
26
Cardlink
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
Source:
27
Cardlink
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
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)
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)
Report abuse

Cancel
Email

Password

Login    

Forgot password?
Deutsch  English