Informatisches Kolloquium WiSe 2000/2001
Informatisches Colloquium Hamburg
|
Wenn nicht anders angegeben, finden die Vorträge montags um 17.15 Uhr im Informatikum, Konrad-Zuse-Hörsaal, Gebäude B, Vogt-Kölln-Str. 30, Hamburg-Stellingen statt. |
18.12.2000 |
Prof. Dr. Dieter Hogrefe Automatisiertes Testen basierend auf formalen Beschreibungstechniken
Da sich moderne Systeme aus einer Vielzahl Komponenten verschiedener Hersteller zusammensetzen, muss die Schnittstellenfrage präzise gelöst sein, insbesondere im verteilten und vernetzten Bereich. Damit kommt der Beschreibung von Schnittstellen eine besondere Bedeutung zu. Der Vortrag geht darauf ein, wie aus solchen Beschreibungen Testfälle abgeleitet werden können, mit denen entsprechende Implementierungen getestet werden können. |
Kontakt
|
Prof. Dr. Rüdiger Valk Telefon +49 40 42883 2408 (valk"AT"informatik.uni-hamburg.de) |