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
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||