Projektgruppe System- und Softwaretest WS 2012/2013

Organisation Umfang: 9 LP (1 LP <=> 30h) => 270h / 15 Wochen = 18 h/Woche ! Sprache: deutsch oder englisch Termine: 1x wöchentlich Treffen in P5.2.10, ??, ab ??:?? Uhr Sowie nach Absprache Prüfung: Dokumentation, Vortrag, evtl. Fachgespräch Ansprechpartner Mutlu Beyazıt – Onur Kılınççeker E-Mail: beyazit@adt.upb.de ● E-Mail: kilincceker@adt.upb.de Raum: P5.2.06 ● Raum: P5.2.05 Tel.: 05251/60-3446 ● Tel.: 05251/60-3445 Sascha Padberg E-Mail: padberg@adt.upb.de Raum: P5.2.06 Tel.: 05251/60-3446 Homepage: http://adt.upb.de/lehre.html Passwort für Unterlagen: PG_ws!2!3

Aufgabe Programmiererfahrung in Java/C++ (Einführung in Wissensverarbeitung (PROLOG-Programmierung)) Modell-Basiertes Testen Aus einer System Spezifikation wird ein Modell konstruiert Testfälle werden nach folgenden Kriterien aus dem Modell generiert abdeckungsbasierend dem Testzweck entsprechend Die Testfälle werden auf dem Software-System ausgeführt, um Fehler aufzudecken. Je besser die Testfälle sind, desto mehr Fehler werden aufgedeckt. Die folgenden Punkte sind wesentlich: die Beschaffenheit der Test-Generierungsmethode (und des Modells) die Eigenschaften der Testfälle die Logik der Testausführung Einige Beispiele von Modellen Endliche Automaten / Finite State Machines (FSMs) Kommunikationssequenz-Graphen / Communication Sequence Graphs (CSGs) oder Ereignis-Sequenz-Graphen (ESG) Reguläre Grammatiken / Regular Grammars (RGs)

Semesterablauf Hintergrundwissen, Einführung und Projektplanung Modell-Basiertes Testen Test-System / System under test (SUT): Robotersystem Planung: Meilensteine definieren Auswahl mehrerer Moduln Robotersystem-Moduln Modellierung mittels CSGs [/ TSD (Test Suite Designer)] [ Erweiterungen zu TSD ESG zu RG und RG zu ESG Test-Generierungsmethode(n) von Grammatiken ... ] Testfall-Generierung Vergleich der generierten Testfälle Vergleich der Ergebnisse nach der Test-Ausführung Zu Beachten: Test-Ausführungslogik, Test-Kosten, Anzahl der entdeckten Fehler, etc. Weitere Aspekte Abdeckung höherer Sequenzen Andere Abdeckungskriterien (wie “faulty complete event sequence coverage“, etc.) Präsentation und Dokumentation

PQ Analysis for Fault Handling Example: [, a0, a1, s0, s1, c, f, ], [, a0, a1, s4, s5, c, f, ], [, b, s0, s1, d, h, ], [, b, s0, s2, c, f, ], [, b, s0, s2, d, h, ], [, b, s0, s3, c, g, ], [, b, s0, s3, d, h, ], [, b, s4, s5, d, h, ], [, x, y, z, ],

PQ Analysis for Fault Handling (cont.) Introduction Approach A Simple Example Case Study Conclusion

PQ Analysis for Fault Handling (cont.) Step 4: Scan T forwards through Eforw, trace states. Tforw = [1(b3+7a6(b7+c8)*)*(a2+6+b3+5+7)*]4 Step 5: Reverse (mirror) T’ Tmirr = ]1(b3+a2)*((c1+b2)*a1b1)*[1 Step 6: Construct the automaton Eback

PQ Analysis for Fault Handling (cont.) To decide whether or not Poisson type models can be used in this study, a K-S test is applied with following hypothesis: H0: Cumulative number of failures comes from Poisson distribution H1: Cumulative number of failures does not come from Poisson distribution The Table indicates that the cumulative number of failures follows Poisson distribution with mean parameter = 30.333 since p-value (0.709) is greater than 0.05.

Characteristic Features of T PQ Analysis for Fault Handling (cont.) Characteristic Features of T

Characteristic Features of T (cont.) PQ Analysis for Fault Handling (cont.) Characteristic Features of T (cont.)

Projekt2-Übersicht (1)

Projekt2-Übersicht (2)

Projekt2-Übersicht (3)

Prüfung Dokumentation / Vortrag zum Projekt, eventuell mündliche Prüfung Anmeldung zum Vortrag/Prüfung über PAUL allg. Anmeldephase zur Prüfung im WS 2012/13: 22. Oktober bis 22. November 2012

Fragen ??