Fehlervermeidung & Vertragsmodell

Question 1

Was ist ein Mistake?

Answer 1

Menschliche Fehlhandlung, die zu einem Fehler (Fault) führt

Question 2

Was ist ein Fault?

Answer 2

Fehler im Quelltext der Software

Question 3

Was ist ein Failure?

Answer 3

Versagen eines Systems aufgrund
eines oder mehrerer Faults

Question 4

Was ist ein Error?

Answer 4

Die Realisierung entspricht nicht der Forderung

Question 5

Was besagt das Vertragsmodell in der Softwareentwicklung?

Answer 5

Vertrag beschreibt:
* welche Vorleistung Klient erbringen muss,
* damit Dienstleister seine Leistung garantiert

Question 6

Wie wird eine Benutzt-Beziehung hergestellt in Java?

Answer 6

• In Klasse A werden Variablen vom Typ B deklariert.
• In einer Methode der Klasse A werden Methoden an Exemplaren der Klasse B aufgerufen.

Question 7

Worauf bezieht sich das Vertragsmodell?

Answer 7

• den Aufruf von Methoden,
• die Überprüfung von Aufrufparametern sowie des Zustands des gerufenen Exemplars.

Question 8

Beschreibe den Vertrag des Vertragsmodells

Answer 8

• bezieht sich immer auf eine Operation einer Klasse.
• wird in der Dienstleister-Klasse festgelegt.
• Vertragsbedingungen werden als Zusicherungen spezifiziert.

Question 9

Beschreibe die Zusicherungen des Vertragsmodells

Answer 9

• Vorbedingungen
  – eingehalten vor der Ausführung der Operation
• Nachbedingungen
  – erfüllt nach der Ausführung der Operation Zusätzlich
• Invarianten
  – Bedingungen, die immer gelten sollen, als Klassen- Invarianten

Question 10

Woraus besteht das Vertragsmodell?

Answer 10

• dem Vertrag und
• den Zusicherungen als boolesche Ausdrücke (Prädikate)

Question 11

Wie läuft der Mechanismus des Vertragsmodells ab?

Answer 11

Vertrag wird bei Methodenaufruf geprüft:
* Klient muss sicherstellen, dass Vorbedingungen der Operation erfüllt sind.
* Beim Dienstleister muss geprüft werden, ob die Vorbedingung gilt.
* Wenn die Vorbedingung erfüllt ist, führt Dienstleister die Operation aus.
* Dienstleister garantiert durch Nachbedingungen, dass Leistung erbracht.

Question 12

Was ist eine Klasseninvariante?

Answer 12

ist eine allgemeine Randbedingung des Vertrags, muss bei jedem Methodenaufruf gelten

Question 13

Wann garantiert der Dienstleister die Nachbedingung?

Answer 13

Wenn der Klient die Vorbedingungen erfüllt

Question 14

Welche Rechte und Pflichten hat der Klient?

Answer 14

• hat die Pflicht, die Methode nur aufzurufen,
  wenn Zustand des Dienstleisters es erlaubt.
• hat das Recht, die ordnungsgemäße Erfüllung
  des Vertrags

Question 15

Welche Rechte und Pflichten hat der Dienstleister?

Answer 15

• hat die Pflicht, die versprochene Leistung zu erbringen.
• hat das Recht bei Nichteinhaltung des Vertrags durch Klienten, die Operation nicht auszuführen.

Question 16

Wann gilt eine Klasse K im Sinne des Vertragsmodells als korrekt?

Answer 16

Question 17

Was ist die Spezifikation?

Answer 17

Die Anforderungsbeschreibung

Question 18

Was ist die grundsätzliche Herangehensweise eines defensiven Programmierstils?

Answer 18

• Risiken vermeiden
• Anwesenheit von Fehlern immer erwarten
• Fehlerreaktion auf minimale Auswirkungen richten
• Auswirkungen von Fehlern verringern / vermeiden

Question 19

Wie schreibt man die Vorbedingung in ein Schnittstellenkommentare mit JavaDoc?

Answer 19

@require

Question 20

Wie schreibt man die Nachbedingung in ein Schnittstellenkommentare mit JavaDoc?

Answer 20

@ensure

Question 21

Wie ist die assert Bedingung aufgebaut?

Answer 21

Question 22

Was ist die statische Analyse?

Answer 22

• Experten analysieren Quelltext – Review
  Ü Werkzeuge analysieren Quelltext – Metriken, Strukturanalyse, Korrektheitsbeweise

Question 23

Was ist eine dynamische Aanalyse?

Answer 23

• Software wird ausgeführt, Verhalten beobachtet – Test

Question 24

Wie lässt sich der Testaufwand verringern?

Answer 24

• Nur Zweigabfdeckung, nicht Pfadabdeckung
• Nur Abdeckung der Anforderungen
• Nur Abdeckung der Zustäne und Zustandsübergänge
• Abdeckung der Bedingungskombination
• Nur Abdeckung der Äquivalenzklassen

Question 25

Was ist ein Positiv-Test?

Answer 25

• nur erwartete/gültige Eingabewerte getestet und Ausgabedaten erwartet
  – erhöhen Vertrauen in Korrektheit

Question 26

Was ist ein Negativ-Test?

Answer 26

• unerwartete/ungültige Eingabewerte getestet und Fehlerbehandlung erwartet
• erhöhen Vertrauen in Robustheit

Question 27

Was ist ein Last-Test?

Answer 27

• fortwährend erhöhte Anzahl / Häufigkeit bis Funktionsausfall
  – erhöhen Vertrauen in Performance und Skalierbarkeit

Question 28

Was ist, wenn sich der Klient nicht an seinen Teil des Vertags hält?

Answer 28

Dann muss der Dienstleister auch nicht handeln

Question 29

Aus was bestehen Zusicherungen

Vertragsmodell

Answer 29

Aus Vor- und Nachbedingungen

Question 30

Wer deklariert in Java die Vor- und Nachbedingungen und wie?

Answer 30

Der Dienstleister deklariert seine Vor- und Nachbedingungen gegenu ̈ber dem Klienten, indem er sie im Javadoc- Kommentar einer Methode mit @require und @ensure angibt

Question 31

Was und wie überprüft der Dienstleister?

Answer 31

Weiterhin überprüft der Dienstleister die Einhaltung der Vorbedingungen im Rumpf der implementierenden Methode mit sogenannten assert-Anweisungen. Die eigenen Nach- bedingungen werden nicht überprüft.