Kreator scenariuszy testowych do walidacji reaktywnych systemów zamkniętych
Variant of the title
The generator of test scenarios for validation of reactive embedded systems
Author
Sapiecha, Krzysztof
Strug, Joanna
Maksym, Przemysław
Published in
Czasopismo Techniczne. Informatyka
Numbering
R. 104, Z. 7, 1-I
Release date
2007
Place of publication
Kraków
Publisher
Wydawnictwo PK
Language
Polish
Abstract
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.
PKT classification
410000 Informatyka
Department
Faculty of Electrical and Computer Engineering
License
Licencja PK. Brak możliwości edycji i druku.
Access rights
Zasób dostępny dla wszystkich
Link to the Publication Bibliography of the PK Employees
