DocumentCode
3337744
Title
Towards an Automated Test Generation with Delayed Transitions for Timed Systems
Author
Vieira, Elisangela Rodrigues ; Cavalli, Ana
Author_Institution
CNRS & GET/INT, Evry
fYear
2007
fDate
21-24 Aug. 2007
Firstpage
226
Lastpage
231
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Embedded and Real-Time Computing Systems and Applications, 2007. RTCSA 2007. 13th IEEE International Conference on
Conference_Location
Daegu
ISSN
1533-2306
Print_ISBN
978-0-7695-2975-2
Type
conf
DOI
10.1109/RTCSA.2007.71
Filename
4296856
Link To Document