loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'01)
Some Parameters for Timed System Testability
Beirut, Lebanon
June 25-June 29
ISBN: 0-7695-1165-1
Sébastien Salva, Universit? de Reims Champagne-Ardenne
Hacène Fouchal, Universit? de Reims Champagne-Ardenne
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. Then, we suggest to make some preliminary analysis on 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.
Index Terms:
Testing, Timed Automata, Test quality, Real-Time Systems, Reliability.
Citation:
Sébastien Salva, Hacène Fouchal, "Some Parameters for Timed System Testability," aiccsa, pp.0335, ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.