Title :
Towards an Automated Test Generation with Delayed Transitions for Timed Systems
Author :
Vieira, Elisangela Rodrigues ; Cavalli, Ana
Author_Institution :
CNRS & GET/INT, Evry
Abstract :
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).
Keywords :
formal specification; program testing; software prototyping; software tools; Intermediate Format language; automated test generation; delayed transitions; hit-or-jump algorithm; prototype tool; system specification; test purpose algorithm; test suite generation; timed systems; Automata; Automatic control; Automatic testing; Delay effects; Fault detection; Prototypes; Real time systems; System testing; Time factors; Timing;
Conference_Titel :
Embedded and Real-Time Computing Systems and Applications, 2007. RTCSA 2007. 13th IEEE International Conference on
Conference_Location :
Daegu
Print_ISBN :
978-0-7695-2975-2
DOI :
10.1109/RTCSA.2007.71
