DocumentCode
3245163
Title
Some parameters for timed system testability
Author
Salva, Sébastien ; Fouchal, Hacéne
Author_Institution
LERI-Resycom, Univ. de Reims, France
fYear
2001
fDate
2001
Firstpage
335
Lastpage
341
Abstract
This study is devoted to test quality of timed systems. In order to produce reliable systems, they need to be tested before industrial development, but system testing costs a lot of money and time. We suggest to make some preliminary analysis of the system in order to evaluate the cost before starting the tests. This test quality is evaluated by means of four factors. We detail each factor and show how to measure them in all different cases of system specification
Keywords
automata theory; formal specification; program testing; real-time systems; software reliability; cost; industrial development; real time systems; software reliability; software testing; system specification; test quality; timed automata; timed system testability parameters; Automata; Automatic testing; Costs; Fault detection; Multimedia systems; Protocols; Real time systems; System testing; Tires;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Applications, ACS/IEEE International Conference on. 2001
Conference_Location
Beirut
Print_ISBN
0-7695-1165-1
Type
conf
DOI
10.1109/AICCSA.2001.934008
Filename
934008
Link To Document