2-4 Anforderungsverwaltung

Question 1

Nennen Sie die 3 Arten der Spezifikationsprachen.

Answer 1

informal,
semi-formal
formal

Question 2

Geben Sie Beispiele für informale Spezifikationsprachen an.

Answer 2

typischerweise natürliche Sprachen (Deutsch, Englisch, …)

Question 3

Geben Sie Beispiele für semi-formale Spezifikationsprachen an.

Answer 3

ER-Diagramm, funktionale Tabelle, Ablaufdiagramm.

Question 4

Geben Sie Beispiele für formale Spezifikationsprachen an.

Answer 4

endlicher Zustandsautomat, Petri-Netz, OCL

Question 5

Was unterscheidet formale und informale Spezifikationssprachen im Wesentlichen?

Answer 5

Informal:
Fehlen einer eindeutigen, wohldefinierten Semantik.

Formal:
durchgehend eindeutige, wohldefinierte Semantik.

Question 6

Nennen und umschreiben Sie Probleme bei der Darstellung der Wahrnehmung.

Answer 6

Tilgung (Unzulässige Informationsreduktion)
Generalisierung (Unzulässige Verallgemeinerung)
Verzerrung (Verfälschung bei der Darstellung der wahrgenommenen Realität)

Question 7

Nennen Sie Vor- und Nachteile natürlicher Sprachen.

Answer 7

Vorteile:
+ leicht zu schreiben und zu lesen
+ ausdrucksmächtig

Nachteile:
– unübersichtlich
– fehlerträchtig
– schwierig zu prüfen

Question 8

Formale Spezifikationsmodelle erlauben …? (3 Eigenschaften)

Answer 8

• die Anforderungen eindeutig zu repräsentieren
• ihre Widerspruchsfreiheit formal zu analysieren
• die Gültigkeit zusätzlicher System-Eigenschaften zu beweisen oder durch Gegenbeispiele zu widerlegen

Question 9

Nennen Sie Vor- und Nachteile formaler Spezifikationssprachen.

Answer 9

Vorteile

+ Immer eindeutig (da Semantik formal definiert)
+ Widerspruchsfreiheit formal prüfbar
+ Erfüllung wichtiger Eigenschaften beweisbar
+ Formale Verifikation von Programmen möglich
+ Analysen z.T. durch Werkzeuge automatisierbar

Nachteile

• Schwer zu erlernen und zu verwenden
• Erstellung sehr aufwendig
• oben angegebene Nachweise z.T. nicht einfach durchzuführen

Question 10

Geben Sie die generelle Syntax an für einen Methodenzugriff in der OCL.

Answer 10

context Typename::operationName(param1 : Type1, …): ReturnType

Question 11

Was bedeutet das Schlüsselwort ‘inv’ in der OCL?

Answer 11

Invariante. Muss wahr sein, damit der Zustand des Objektes wohldefiniert ist.

Question 12

Was bedeutet das Schlüsselwort ‘self’ in der OCL?

Answer 12

Das Schlüsselwort self wird verwendet, um explizit auf den momentanen Kontext zu verweisen.

Question 13

Wie werden in der OCL Vor- und Nachbedingungen angegeben?

Answer 13

Vorbedingungen, eingeleitet durch ‘pre’, müssen zum Zeitpunkt des Operationsaufrufs wahr sein.

Nachbedingungen, eingeleitet durch ‘post’, müssen unmittelbar nach der Ausführung der Operation wahr sein.

Question 14

Was bedeutet das Schlüsselwort ‘result’ in der OCL?

Answer 14

Das Schlüsselwort ‘result’ bezeichnet den Rückgabewert der Operation, falls vorhanden.

Question 15

Was bedeutet ‘@pre’ in der OCL?

Answer 15

Werden in der Nachbedingung Werte benötigt, die zum Zeitpunkt der Vorbedingung gelten, so werden sie mit dem Suffix ‘@pre’ versehen.

Question 16

Was bedeutet ‘init’ in der OCL?

Answer 16

Mittels Initialisierungen, eingeleitet mit ‘init’, können Anfangswerte für Attribute definiert werden.

Question 17

Was sind ‘let’-Ausdrücke in der OCL?

Answer 17

Mit ‘let … in …’ kann eine Hilfsvariable für einen Ausdruck (nach let) eingeführt werden, die im folgenden (nach in) benutzt werden kann.

Question 18

Was sind Collections in der OCL? Nennen Sie 3 konkrete, von Collection abgeleitete Datentypen.

Answer 18

Eine Collection ist ein abstrakter Datentyp, der mehrere Objekte zusammen fasst.

Set, Bag, Sequence.

Question 19

Nennen Sie alle in der VL vorgestellten Operationen auf Collections in der OCL.

Answer 19

select, forAll, exists, size, allInstances, includes, isEmpty, notEmpty.

Question 20

Nennen Sie die 7 Grundsätze der Software-Ergonomie.

Answer 20

Aufgabenangemessenheit
Selbstbeschreibungsfähigkeit
Steuerbarkeit
Erwartungskonformität
Fehlertoleranz
Individualisierbarkeit
Lernförderlichkeit