Kreator scenariuszy testowych do walidacji reaktywnych systemów zamkniętych

Podstawową techniką walidacji w przypadku reaktywnych systemów zamkniętych jest symulacja. Wyznaczenie odpowiedniego zbioru scenariuszy testowych, pozwalających na sprawdzenie poprawności funkcjonalnej i czasowej projektowanego systemu, jest zadaniem trudnym i bardzo pracochłonnym. Zatem duże znaczenie praktyczne ma automatyzacja tego procesu. W niniejszym artykule przedstawiono prototypowe narzędzie implementujące oryginalną metodę generacji scenariuszy testowych dla reaktywnych systemów zamkniętych oraz wyniki eksperymentów przeprowadzonych z jego zastosowaniem.

---

Simulation is the key validation technique for reactive embedded systems. Generation of a suitable set of test scenarios for checking functional and temporal correctness of a system is a difficult task. Computer-aided test scenarios generation has thus a practical meaning. This paper presents a tool implementing a method of test scenarios generation for reactive embedded systems and the results of experiments carried out with the help of this tool.