Qualit¨atssicherung in der SW-Entwicklung
GRUPPE A
Name: Matr.Nr.: .
Abschlußklausur am 28.6.2011 ¨uber die imSS 2011 abgehaltene VU. Es d¨urfen keine schrift- lichen Unterlagen und elektronische Hilfsmittel verwendet werden.
Zeit: 45 Min.
1. Spezifizieren Sie in JML eine Interface-Methode public int[] sort(int[] intarray);,
welche ein Array absteigend sortiert. (13 Punkte)
2. Was sind die Unterschiede zwischen den beiden Review Techniken Walkthrough und In- spektion? (13 Punkte)
3. Wie unterscheidet der IEEE Standard die BegriffeMistake,Fault,Error, undFailure? (12 Punkte)
4. Gegeben seien die folgenden LTS-Modelle von Getr¨ankeautomaten:
a 0 a
1 2
?1
!c θ
θ
x 0 x
1 2
?2
!c θ
θ
?1
?1
?2
?1 ?2
y 0 y
1 2
3 4
?1 ?2
!c !t
θ
θ θ
?1
?2
?1
?2
?1 ?2
?1 ?2
z 0 z
2 1
4 3
5
?1
?2
!t
?1
!c
θ
θ θ
θ
?2
?1 ?1
?2
?1
?2
?1 ?2
?1 ?2
Untersuchen sie deren IO-Konformanz und begr¨unden Sie ihre Entscheidung, wobei Mo- dellaals Spezifikation zu verstehen ist (12 Punkte):
(a) xiocoa? (b) y iocoa? (c) ziocoa?
Viel Erfolg!
