Title :
Two complementary approaches to test robustness of reactive systems
Author :
Rollet, Antoine ; Salva, Sébastien
Author_Institution :
LABRI, Univ. of Bordeaux, Talence
Abstract :
Robustness is an important aspect for reactive embedded systems. In this paper, we present two complementary approaches dedicated to test the robustness of reactive systems specified in the IOLTS model. The first approach uses the specification to build a hazards matrix permitting to generate cases. The other one is based on two specifications, a nominal and a degraded one describing the minimal required behaviour of the system.
Keywords :
embedded systems; program testing; hazards matrix; reactive embedded systems; robustness testing; system minimal required behaviour; Automatic testing; Degradation; Embedded system; Hardware; Hazards; Lead; Object oriented modeling; Robustness; Security; System testing; Hazards; Labelled Transition Systems; Robustness Testing; Robustness relations;
Conference_Titel :
Automation, Quality and Testing, Robotics, 2008. AQTR 2008. IEEE International Conference on
Conference_Location :
Cluj-Napoca
Print_ISBN :
978-1-4244-2576-1
Electronic_ISBN :
978-1-4244-2577-8
DOI :
10.1109/AQTR.2008.4588704
