论文信息 - Towards an Automated Test Generation with Delayed Transitions for Timed Systems

Towards an Automated Test Generation with Delayed Transitions for Timed Systems

In this paper we analyze the influence of the urgency in the timed transitions, and as consequence, in the test suite generation. As result, we formalize rules to generate sequences where the messages exchanged may be instantaneous or delayed. In addition, the generated scenarios are able to detect timing faults. For test generation, we use a prototype tool called HJ2IF. It is based on a test purpose algorithm, called hit-or-jump and it is applied for systems specified using Intermediate Format language (IF).

Ana R. Cavalli | Elisangela Rodrigues Vieira

[1] K. Larsen,et al. Online Testing of Real-time Systems Using Uppaal , 2004, FATES.

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

[3] Ferhat Khendek,et al. Timed Wp-Method: Testing Real-Time Systems , 2002, IEEE Trans. Software Eng..

[4] Marius Bozga,et al. IF-2.0: A Validation Environment for Component-Based Real-Time Systems , 2002, CAV.

[5] 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 .

[6] E.R. Vieira,et al. Test case generation based on time constraints , 2005, Second International Conference on Embedded Software and Systems (ICESS'05).

[7] Ana R. Cavalli,et al. Hit-or-Jump: An algorithm for embedded testing with applications to IN services , 1999, FORTE.

[8] Itu-T. Specification and Description Language (SDL) , 1999 .

[9] 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 21-24 August 2007, Daegu, Korea , 2007, RTCSA.

[10] Ana R. Cavalli,et al. Specification of Timed EFSM Fault Models in SDL , 2007, FORTE.

[11] Paul D. Amer,et al. A technique to generate feasible tests for communications systems with multiple timers , 2003, TNET.