DocumentCode
474963
Title
Two complementary approaches to test robustness of reactive systems
Author
Rollet, Antoine ; Salva, Sébastien
Author_Institution
LABRI, Univ. of Bordeaux, Talence
Volume
1
fYear
2008
fDate
22-25 May 2008
Firstpage
47
Lastpage
53
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/AQTR.2008.4588704
Filename
4588704
Link To Document