Projektgruppe System- und Softwaretest

Präsentation zum Thema: "Projektgruppe System- und Softwaretest"—  Präsentation transkript:

1 Projektgruppe System- und Softwaretest
WS 2012/2013

2 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 ● Raum: P ● Raum: P5.2.05 Tel.: 05251/ ● Tel.: 05251/ Sascha Padberg Raum: P5.2.06 Tel.: 05251/ Homepage: Passwort für Unterlagen: PG_ws!2!3

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)

4 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

5 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, ],

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

7 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

8 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 = since p-value (0.709) is greater than 0.05.

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

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

11 Projekt2-Übersicht (1)

12 Projekt2-Übersicht (2)

13 Projekt2-Übersicht (3)

14 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

15 Fragen ??