Qualit¨atssicherung in der SW-Entwicklung
GRUPPE C
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[] toSet(int[] intarray);,
welche aus einem allgemeinen Array alle doppelten Elemente entfernt. (13 Punkte) 2. Nennen Sie mindestens drei besprochene Kriterien f¨ur erfolgreiche OSS Projekte und
erkl¨aren sie diese kurz. (12 Punkte)
3. Definieren Sie die f¨unf SW-Fehlerklassen, die bei der Auswertung von Reviews zum Einsatz kommen. (13 Punkte)
4. Gegeben seien die folgenden LTS-Modelle von Getr¨ankeautomaten:
a 0 a
1 2
?1
!c θ
θ
x 0 x
1 2
?1
!c θ
θ
?2
?1
?2
?1 ?2
y 0 y
1 2
3 4
?1 ?2
!c !c
θ
θ θ
?1
?2
?1
?2
?1 ?2
?1 ?2
z 0 z
2 1
4 3
5
?1
?1
!t
?1
!c
θ
θ θ
θ
?2
?1 ?2
?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!
