Workshop zum Thema "Modellbasiertes Testen", Paphos, Zypern

Ein sechster Workshop zum Thema "Modellbasiertes Testen" (Model-Based Testing, MBT 2010) findet am 21. März 2010 in Paphos, Zypern, statt.

Ziel der Veranstaltung ist es, Forscher und Praktiker zusammenzubringen, sodass der Stand der Technik aufgezeigt und Ideen zu neuen Richtungen für die Verbesserung von Testtheorien, Modellen, Tools und grundlegende Paradigmen diskutiert werden können.

Zu den Themen gehören unter anderem:
- Online- und Offline-Testsequenzgenerierungs-Verfahren und Tools,
- Testdatenauswahlverfahren und -Tools,
- Laufzeitverifizierung,
- Modellbasierte Testabdeckungsmetriken,
- Automatische Domain-/ Partitionsanalyse,
- Kombination von Verifikation und Testen,
- Modelle bei Testorakeln,
- Szenariobasierte Testgenerierung,
- Meta-Programmiersupport für das Testen,
- Für modellbasiertes Testen geeignete Formalismen,
- Anwendung von Kontrollverfahren beim modellbasierten Testen,
- Spieltheoretische Ansätze zum Testen,
- Modellbasiertes Testen in der Industrie: Probleme und Erfolge.

Modellbasiertes Testen wird bei Software und Hardware eingesetzt, um das Verhalten eines getesteten System zu beschreiben und die Entwicklung von Testszenarien zu lenken.Weitere Informationen erhalten Sie unter:
http://react.cs.uni-sb.de/mbt2010/(öffnet in neuem Fenster)