QS-TAG - Programm - 2001 |
||||
 |
||||
08:30 - 09:00 |
Registrierung | imbus AG | ||
09:00 - 09:15 |
Begrüßung durch die imbus AG | imbus AG | ||
09:15 - 09:30 |
Grundlagen/Überblick Testfalldesign &Testgenerierung |
imbus AG | ||
09:30 - 10:30 |
Evolutionärer Test von Embedded Systems | Dr. Joachim Wegener, DaimlerChrysler AG |
||
10:30 - 11:00 |
Kaffeepause Toolpräsentation |
|||
| 11:00- 12:00 |
Testfallermittlung aus Komponentenschnittstellen | Dr. Mario Winter, FernUniversität Hagen | ||
| 12:00 - 13:00 |
AGEDIS / UML-basierte Sprache und Werkzeuge zur Testgenerierung (Vortrag in englischer Sprache) | Dr. Jim Davies/ Dr. Alessandra Cavarra, Oxford University Computing Laboratory |
||
| 13:00 - 14:30 |
Mittagspause mit Buffet, Toolpräsentation der Aussteller |
|||
| 14:30 - 15:30 | Test von UMTS-Systemen | Hans-Georg Sikora, Lucent Technologies Systems GmbH |
||
| 15:30 - 16:00 |
Kaffeepause Toolpräsentation |
|||
| 16:00 - 17:00 |
Formale Verifikation und Validierung von Smart Cards | Dr. Stefan Kriebel, Giesecke&Devrient GmbH | ||
| 17:00 | Abschließende Diskussion | |||
| 17:30 | Sektempfang | |||
| Programmänderungen vorbehalten | ||||
|
||||||||||||||||