Qualit¨ atssicherung in der SW-Entwicklung
GRUPPE B
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. Gegeben sei ein Klassenfeldint[] intarray. Spezifizieren Sie in JML eine Dateninvari- ante, die inintarraydoppelte Elemente ausschließt. (13 Punkte)
2. Was sind Entscheidungstabellen? Wozu dienen sie? Geben Sie ein Beispiel einer Entschei- dungstabelle an und erkl¨aren Sie anhand des Beispiels. (12 Punkte)
3. Was sind die Unterschiede zwischen den beiden Review Techniken Walkthrough und In- spektion? (12 Punkte)
4. Erkl¨aren Sie am Beispiel des folgenden Programms symbolische Exekution:
1 i n t min (i n t x , i n t y ) 2 {
3 i n t z ; 4 i f( x<y )
5 z=x ;
6 e l s e
7 z=y ;
8 return z ;
9 }
Annotieren Sie dazu das Programm mit den symbolischen Werten der Variablen und der Path-condition. Erkl¨ren Sie auch in Worten was bei der symbolischen Exekution des Programms passiert. (13 Punkte)
Viel Erfolg!
