Do. 04. und Fr. 05. Mai 2006, Physikzentrum Bad Honnef
Schwerpunktthemen: Statische Analyse, Testmanagement, Testautomatisierung
(Änderungen vorbehalten, zuletzt aktualisiert am 28 . April 2006)
|
|
|
---|---|---|
Ab 9.00 |
Optional: 3. Session der 23. Workshop der GI-FG 2.1.4 Programmiersprachen und Rechenkonzepte Rapid Visualization of B
Specifications with Higher-Order Recursive Functions Effiziente Implementierung
offener Typen Strukturorientiertes Testen
|
TestBench meets TestFrame®:
TestBench meets TestFrame®:
Kurz-Berichte aus der zurückliegenden Arbeit der AKs |
|
|
|
11.00
11:30
|
Eröffnung
des 24. TAV-Workshops Berichte und aktuelle Informationen Termin- & Themenabsprache des nächsten Fachgruppentreffens Kooperativer
Workshop mit der Warum stürzt mein Programm
ab? Automatisches Bestimmen von Fehlerursachen
|
Treffen der AKs Testen objektorientierter Programme |
|
|
|
|
Dynamische Deadlock-Suche
in nebenläufigen funktionalen Programmen Reengineering for Testability |
|
15.30 |
|
|
16.00 |
Werkzeugunterstütztes Architektur-
und Qualitätsmonitoring - Ansätze und praktische Erfahrungen Automatische Erzeugung von
Testfällen Standardisierung der technischen
Qualitätssicherung im J2EE-Umfeld
|
Ende des Workshops |
18.30 Ab 20:00 |
Abendessen und gemütliches Abendtreffen Werkzeug-Demo |
|