论文信息 - Test Cases Generation for Nondeterministic Real-Time Systems

Test Cases Generation for Nondeterministic Real-Time Systems

We study the generation of test cases for nondeterministic real-time systems. We define a class of Determinizable Timed Automata (DTA), in order to specify the system under test. The principle of our test method consists of two steps. In Step 1, we express the problem in a non-real-time form, by transforming a DTA into an equivalent finite state automaton. The latter uses two additional types of events, Set and Exp. In Step 2, we adapt a non-real-time test generation method.

Thierry Jéron | Ahmed Khoumsi | Hervé Marchand

[1] Brian Nielsen. Specification and Test of Real-Time Systems , 2000 .

[2] Jan Tretmans,et al. Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[3] Frits W. Vaandrager,et al. Testing timed automata , 1997, Theor. Comput. Sci..

[4] Thierry Jéron,et al. Remote testin can be as powerful as local testing , 1999, FORTE.

[5] Duncan Clarke,et al. Testing real-time constraints , 1996 .

[6] Ferhat Khendek,et al. Timed test cases generation based on state characterization technique , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[7] Thierry Jéron,et al. TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[8] Ahmed Khoumsi,et al. A Method for Testing the Conformance of Real Time Systems , 2002, FTRTFT.

[9] Jan Tretmans,et al. Test Generation with Inputs, Outputs, and Quiescence , 1996, TACAS.

[10] Rajeev Alur,et al. Timed Automata , 1999, CAV.

[11] Rachel Cardell-Oliver. Conformance Tests for Real-Time Systems with Timed Automata Specifications , 2000, Formal Aspects of Computing.