Advanced Programme of the Workshop (http://adt.uni-paderborn.de/teso08.html)
Testing of Software - From Research to Practice
on February 19, 2008, in Garching, Germany (Version: February 7, 2008)
in conjunction with the conference Software Engineering 2008 (German Assoc. for Informatics)
09:00-09:05: Opening Remarks (F. Belli/Ch. J. Budnik/A. Spillner)
09:05-9:50: Marlon Vieira (Siemens Corporate Research, Princeton, NJ, USA), Applying a Research on Model Based Testing in Industrial Context (invited talk) (Chair: Ch. J. Budnik)
9:50-11:00 Industry & Academia – Research & Practice (Chair: M. Winter)
- D. Sokenou (GEBIT, Berlin), Modellbasierter Test mit FitNesse - Ein Erfahrungsbericht aus der Praxis (Short)
- B. Markiewicz (HTWK Leipzig), H. Flemig (it Campus), K. Weicker (HTWK Leipzig), Plattformübergreifende funktionale Tests durch GUI-Abstraktion
- Fr. Beidinger (Hella Hueck, Lippstadt), A. Hollmann (Uni. Paderborn), M. Kleinselbeck, W. Ritschel (Hella Hueck, Lippstadt), Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie
11:00-11:15: Coffee Break
11:15-12:45 Test Frameworks (Chair: K. Didrich)
- E. Werner, J. Grabowski, St. Troschütz, B. Zeiss (RWTH Aachen), A TTCN-3-based Web Service Test Framework
- A. Beer (Siemens IT Solutions, Wien), Die Einführung eines wiederverwendbaren Testframeworks (Short)
- A. Ganser, H. Schackmann, H. Lichter (RWTH Aachen), H.-J. Schlebusch (Kisters AG, Aachen), Test Case Structuring and Execution Control in an Integration Framework for Heterogeneous Automatic Software Tests
- V. Entin, K. Meyer-Wegener (Uni. Erlangen), Ein Framework für die Testautomatisierung bei Fahrer-Assistenz-Systemen (Short)
12:45-14:00 Lunch
14:00-15:30 Test Generation, Optimization, and Execution (Chair: R. Gerlich)
- M. Heisel, D. Hatebur (Uni. Duisburg-Essen), Th. Santen (TU Berlin), D. Seifert (LORIA, Nancy), Using UML Environment Models for Test Case Generation
- R. Schmidberger (Uni. Stuttgart), Glassboxtest zur Testsuite-Optimierung
- F. Pinte, F. Saglietti, N. Oster (Uni. Erlangen), Automatic Generation of Optimized Integration Test Data by Genetic Algorithms
- S. Weißleder (HU Berlin), D. Sokenou (GEBIT, Berlin), Automatic Test Case Generation from UML Models and OCL Expressions (Short)
15:30-16:00: Coffee Break
16:00-17:15 Applications, Approaches,and Experiences (Chair: M. Dal Cin)
- T. Reichert (School of Comp., New Castle), D. Herzberg (Uni. Heilbronn), A Domain Specific Language for Uncovering Abstract Protocols and Testing Message Scenarios (Short)
- R. Gerlich (Dr. Rainer Gerlich System and Software Engineering, Immenstaad), Path Constraint Construction with Lookahead (Short)
- D. Brenner, C. Atkinson (Uni. Mannheim), Simplifying the Description and Application of Tests (Short)
- H. Goetz, S. Holpp (Siemens Medical Solutions, Erlangen), W. Dulz (Uni. Erlangen), Statistical Testing within the Scope of the System Validation of a RIS/PACS System (Short)
- E. Juergens, B. Hummel, F. Deissenboeck, M. Feilkas (TU München), Static Bug Detection Through Analysis of Inconsistent Clones (Short)
17:15-17:30: Closing Remarks, Lessons Learned (F. Belli/Ch. J. Budnik/A. Spillner)