Kreator scenariuszy testowych do walidacji reaktywnych systemów zamkniętych
Wariant tytułu
The generator of test scenarios for validation of reactive embedded systems
Autor
Sapiecha, Krzysztof
Strug, Joanna
Maksym, Przemysław
Opublikowane w
Czasopismo Techniczne. Informatyka
Numeracja
R. 104, Z. 7, 1-I
Data wydania
2007
Miejsce wydania
Kraków
Wydawca
Wydawnictwo PK
Język
polski
Abstrakt
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.