Foliensatz 1.1
Einschränkung, Klasseninvariante, Vorbedingung, Nachbedingung
Einschränkung, Klasseninvariante, Vorbedingung, Nachbedingung
Einschränkung:
OCL ist eine formale Sprache zur Definition von Einschränkungen auf einem oder mehreren Teilen eines UML-Models.
Klasseninvariante:
Eine Bedingung, die (fast) immer von allen Instanzen einer Klasse
erfüllt werden muss.
Vorbedingung:
Eine Bedingung, die erfüllt sein muss, bevor eine Operation ausgeführt werden kann.
Nachbedingung:
Eine Bedingung, die nach dem Ausführen einer Operation erfüllt sein muss.
OCL ist eine formale Sprache zur Definition von Einschränkungen auf einem oder mehreren Teilen eines UML-Models.
Klasseninvariante:
Eine Bedingung, die (fast) immer von allen Instanzen einer Klasse
erfüllt werden muss.
Vorbedingung:
Eine Bedingung, die erfüllt sein muss, bevor eine Operation ausgeführt werden kann.
Nachbedingung:
Eine Bedingung, die nach dem Ausführen einer Operation erfüllt sein muss.
Tags: einschränkung, Invariante, nachbedingung, vorbedingung
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)
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)
