Title :
Some parameters for timed system testability
Author :
Salva, Sébastien ; Fouchal, Hacéne
Author_Institution :
LERI-Resycom, Univ. de Reims, France
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;
Conference_Titel :
Computer Systems and Applications, ACS/IEEE International Conference on. 2001
Conference_Location :
Beirut
Print_ISBN :
0-7695-1165-1
DOI :
10.1109/AICCSA.2001.934008
