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
Source:
Source:
Foliensatz 1.1
gebräuchliche Typen Invarianten
gebräuchliche Typen Invarianten
Beschränkung von Domänen:
●Beschränkung der Werte, die Attribut annehmen kann.
Dauer nicht länger als 4 Stunden
Beschränkung auf Einmaligkeit:
●Attribut oder Attributmenge einer Klasse für die gilt:
Für zwei unterschiedliche Instanzen dieser Klasse dürfen keine
gleichen Werte zugewiesen werden.
Zwei Studenten dürfen nicht die gleiche Matrikelnummer haben
Zeitliche Beschränkung:
●Bedingungen, die abgeleitete Modellelemente definieren
(z.B abgeleitet Attribute).
Inspektion vor oder nach dem Flug
Regeln für Existenz:
●Bestimmte Objekte / Werte müssen existieren / definiert sein.
●Bevor andere Objekte / Werte definiert / erzeugt werden können
Die Person muss in der Firma angestellt sein um entlassen werden zu können
●Beschränkung der Werte, die Attribut annehmen kann.
Dauer nicht länger als 4 Stunden
Beschränkung auf Einmaligkeit:
●Attribut oder Attributmenge einer Klasse für die gilt:
Für zwei unterschiedliche Instanzen dieser Klasse dürfen keine
gleichen Werte zugewiesen werden.
Zwei Studenten dürfen nicht die gleiche Matrikelnummer haben
Zeitliche Beschränkung:
●Bedingungen, die abgeleitete Modellelemente definieren
(z.B abgeleitet Attribute).
Inspektion vor oder nach dem Flug
Regeln für Existenz:
●Bestimmte Objekte / Werte müssen existieren / definiert sein.
●Bevor andere Objekte / Werte definiert / erzeugt werden können
Die Person muss in der Firma angestellt sein um entlassen werden zu können
Tags: Invariante, ocl
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)
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)
