12.7.2006: Klassifikationsschema für Testverfahren
Im Rahmen der Ausarbeitung sollen alle betrachteten Testverfahren in ein standardisiertes
Klassifikationsschema eingeordnet werden. Dazu ist unter dem nachfolgenden Link ein
Schema angegeben, welches in einem Anhang zur Ausarbeitung pro Testverfahren einmal
instanziiert werden soll.
Klassifikationsschema (ppt)
Inhalt und Themen
In der Veranstaltung wird die Frage behandelt, wie Testfälle aus
Spezifikationen abgeleitet werden können. Ein besonderer Schwerpunkt
ist dabei der modellbasierte Test eingebetteter Systeme, z.B. im
Automotive Software Engineering. Weitere Details finden Sie in den
Einleitungsfolien
Anhand von Übersichts- und Originalartikeln bereiten die Teilnehmer
in Absprache mit den Betreuern einen wissenschaftlichen Vortrag von
30 Minuten Dauer vor und arbeiten diesen hinterher schriftlich aus.
Vortragsfolien und Ausarbeitungen sind nachfolgend hier abrufbar.
M. Conrad, H. Schlingloff: Spezifikationsbasiertes Testen - Grundbegriffe und Klassifikation [UPL06]:
Folien (pdf).
S. Kraus: Testen mit Automaten und Transitionssystemen (Betreuung: M. Friske) [BJK+05].
S. Rauch: Input-Output-Konformanzrelationen (Betreuung: H. Schlingloff) [dNH84, Tre96]:
Folien (pdf),
Ausarbeitung (pdf).
T. Wolfart: Verhaltensbasierter Test (Betreuung: H. Schlingloff) [Cal05,JaJe05]:
Folien (pdf),
Ausarbeitung (pdf).
J. Fichte: Test aus algebraischen Spezifikationen (Betreuung: S. Mishra) [Gau94,BGM91]:
Folien (pdf),
Ausarbeitung (pdf).
M. Hildebrandt: Z und B (Betreuung: S. Mishra) [LPU04,HNS97].
P. Hausding: Aussagenlogische Testspezifikationen (Betreuung: H. Schlingloff) [WLPS00]:
Folien (pdf),
Ausarbeitung (pdf).
O. Kintzer: Test mit temporallogischer Modellprüfung (Betreuung: H. Schlingloff) [HLSU02, EFM97]:
Ausarbeitung (pdf).
T. Michaelis: Die Klassifikationsbaum-Methode (Betreuung: M. Conrad) [GrGr93, Gri95, SCS97]:
Folien (pdf),
Ausarbeitung (pdf).
R. Wolff: Die Klassifikationsbaum-Methode für eingebettete Systeme (Betreuung: M. Conrad) [Con04, KrMu05]:
Folien (pdf),
Ausarbeitung (pdf).
A. Blunk: Spec# als Testspezifikationssprache (Betreuung: H. Schlingloff) [CGN+05]:
Folien (pdf),
Ausarbeitung (pdf).
L. Westmeier: Modellbasierter Test mit der UML (Betreuung: M. Friske) [GLM04, CCD+00, HLSC01]:
Folien (pdf),
Ausarbeitung (pdf).
E. Dießler: Die Agedis Methode und Werkzeuge (Betreuung: M. Friske) [HaNa04, Rus02]:
Folien (pdf),
Ausarbeitung (pdf).
S. Lu: Test mit Matlab/Simulink/StateFlow (Betreuung: M. Conrad) [CoFe05, Rea03, HdMR05]:
Folien (pdf).
S. Weißleder: Teststrategien für den modellbasierten Test:
Folien (pdf).
Literatur
Die nachfolgende Literaturliste ist vorläufig. Die angegebene Literatur ist als Einstiegspunkt in die jeweiligen Themen gedacht, den Vortragenden steht es frei, weitere Sekundärliteratur in ihrem Vortrag zu verwenden. Nach Absprache mit den Vortragenden werden an dieser Stelle noch Verweise ergänzt. Die Artikel, für die kein Hyperlink angegeben wurde, sind bei den jeweiligen Betreuern erhältlich.
[UPL06] M. Utting, A. Pretschner, and F. Legeard: A taxonomy of model-based testing
pdf
[BJK+05] M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner (eds): Model-Based Testing of Reactive Systems, Advanced Lectures, Ch.1-3 (Homing Sequences, State Identification, State Verification)
[dNH84] R. D. Nicola, M. Hennessy: Testing equivalences for processes. Theoretical Computer Science, 34(1--2):83--133, Nov. 1984.
[Tre96] J. Tretmans: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3): 103-120 (1996) ps.gz
[Cal05] J. Calame: Specification-based Test Generation with TGV. Technical Report, CWI, SEN-R0508
pdf
[JaJe05] C. Jard, T. Jeron: TGV theory, principles and algorithms, J. Software Tools for Technology Transfer 7 (4) (2005) 297-315. pdf
[Gau94] M.-C. Gaudel: Testing Can Be Formal, Too. TAPSOFT 1995: 82-96. 1994
[BGM91] G. Bernot, M.-C. Gaudel, and B. Marre: Software Testing based on Formal Specifications: a theory and a tool.pp 387-405, Software Engineering Journal 6(6), 1991. pdf
[LPU04] B. Legeard, F. Peureux, and M. Utting: Controlling Test Case Explosion in Test Generation from B Formal Models.The Journal of Software Testing, Verification and Reliability
pdf
[HNS97] S. Helke, T. Neustupny, and T. Santen: Automating test case generation from Z specifications with Isabelle, in: Proc. 10th Intl. Conf. of Z Users, Vol. 1212 of LNCS, 1997, pp. 52-71.
ps.gz
[WLPS00] G. Wimmel, H. Lötzbeyer, A. Pretschner, and O. Slotosch: Specification Based Test Sequence Generation with Propositional Logic. Special Issue on Specification Based Testing, Journal on Software Testing, Validation, and Reliability (STVR) 10(4):229-248, December 2000
pdf
[HLSU02] H. Hong, I. Lee, O. Sokolsky, and H. Ural: A Temporal Logic Based Theory of Test Coverage and Generation. In Proceedings of the 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), April 2002
ps
[EFM97] A. Engels, L.M.G. Feijs, and S. Mauw: Test generation for intelligent networks using model checking. In E. Brinksma, editor, TACAS'97. pdf
[GrGr93] M. Grochtmann, K. Grimm: Classification Trees For Partition testing, Software testing, Verification & Reliability, Volume 3, Number 2, June 1993, Wiley, pp. 63 - 82.
[Gri95] K. Grimm: Systematisches Testen von Software: Eine neue Methode und eine effektive Teststrategie. München, Wien, Oldenburg, 1995. GMD-Berichte Nr. 251.
[SCS97] H. Singh, M. Conrad, and S. Sadeghipour: Test Case Design Based on Z and the Classification-Tree Method (1997) ICFEM
[Con04] M. Conrad: Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems. Proc. Dagstuhl Seminar Nº 04371 'Perspectives of Model-based Testing', Schloß Dagstuhl (D), Sept. 2004
pdf
[KrMu05] A. Krupp, W. Mueller: Die Klassikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. Proc. GI Jahrestagung 2005, Workshop Automotive Software Engineering (GI ASE'05), Bonn, Germany, Sept. 2005
pdf
[CGN+05] C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Microsoft Technical Report MSR-TR-2005-59, May 2005.
pdf
[GLM04] S. Gnesi, D. Latella, and M. Massink: Formal Test-case Generation for UML Statecharts. ICECCS 2004,
pdf
[CCD+00] A. Cavarra, C. Chrichton, J. Davies, A. Hartman, T. Jeron, and L. Mounier: Using UML for Automatic Test Generation. Oxford University Computing Laboratory, Tools and Algorithms for the Construction and Analysis of Systems, (TACAS'2000).
pdf
[HLSC01] H. S. Hong, I. Lee, O. Sokolsky, and S. D. Cha: Automatic Test Generation from Statecharts Using Model Checking. In 1st International Workshop on Formal Approaches to Testing of Software (FATES), Aalborg, Dänemark, 2001.
pdf
[HaNa04] A. Hartman, K. Nagin: The AGEDIS Tools for Model Based Testing, IBM Haifa Research Laboratory, ISSTA 2004,
pdf
[Rus02] V. Rusu: Verification using test generation techniques, Formal Methods Europe (FME'02), 2002,
ps
[CoFe05] M. Conrad, I. Fey: Modell-basierter Test von Simulink/Stateflow-Modellen. Kolloqium "Testen im System - und Software-Life-Cycle", Technische Akademie Esslingen, 29.-30.Nov 2005, S.278-298
pdf
[Rea03] Reactive Systems, Inc: Model-Based Testing and Validation of Control Software with Reactis. Reactive Systems Report #2003-1
pdf
[HdMR05] G. Hamon, L. de Moura, and J. Rushby: Automated Test Generation with SAL. SRI International, CSL Technical Note, January 2005
pdf
Organisatorisches
Die Veranstaltung findet als Blockseminar statt, und zwar
am 10. und 24.6.2006 (Sa), von 10:00-17:00 Uhr. Ort: Fraunhofer FIRST, Kekulestr.7, Raum 006 (Pförtner).
(Anmerkung: Für die angemeldeten Teilnehmer wird eine ganztägige Anwesenheit bei beiden Terminen
als Selbstverständlichkeit erwartet, Ausnahmen nur in dringenden Notfällen und nach vorheriger Absprache!)
Weitere Zuhörer sind als Gäste jederzeit willkommen. Vorbesprechung war am Freitag, den 12.5.2006, 16:30-18:00 Uhr.