Warsztaty nt. testowania opartego na modelu, Pafos, Cypr

Dnia 21 marca 2010 r. w Pafos na Cyprze odbędą się szóste warsztaty nt. testowania opartego na modelu (MBT 2010).

Wydarzenie ma na celu zgromadzenie naukowców i praktyków, aby dokonać przeglądu obecnego stanu wiedzy i przedyskutować pomysły dotyczące nowych kierunków doskonalenia teorii, modeli, narzędzi i podstawowych paradygmatów testowania.

Poruszone zostaną następujące tematy:
- metody i narzędzia do generowania sekwencji on-line i off-line;
- metody i narzędzia selekcji danych testowych;
- weryfikacja czasu trwania;
- metryka zakresu testu opartego na modelu;
- automatyczna analiza domeny/partycji;
- połączenie weryfikowania i testowania;
- modele w testowych systemach oracle;
- generowanie testów opartych na scenariuszu;
- metaprogramistyczne wsparcie testowania;
- formalizmy odpowiednie do testowania opartego na modelu;
- zastosowanie technik sprawdzających w testowaniu opartym na modelu;
- podejście do testowania w teorii gier;
- testowanie oparte na modelu w przemyśle: problemy i osiągnięcia.

W przypadku oprogramowania i sprzętu testowanie oparte na modelu wykorzystuje się do opisywania zachowania testowanych systemów oraz kierowania rozwojem scenariuszy testowych.Więcej informacji:
http://react.cs.uni-sb.de/mbt2010/(odnośnik otworzy się w nowym oknie)