loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007)
Towards an Automated Test Generation with Delayed Transitions for Timed Systems
Daegu, Korea
August 21-August 24
ISBN: 0-7695-2975-5
ASCII Text
x 
 
Elisangela Rodrigues Vieira, Ana Cavalli, "Towards an Automated Test Generation with Delayed Transitions for Timed Systems," Real-Time Computing Systems and Applications, International Workshop on, pp. 226-231, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/RTCSA.2007.71,
author = {Elisangela Rodrigues Vieira and Ana Cavalli},
title = {Towards an Automated Test Generation with Delayed Transitions for Timed Systems},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {2007},
issn = {1533-2306},
pages = {226-231},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2007.71},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Computing Systems and Applications, International Workshop on
TI - Towards an Automated Test Generation with Delayed Transitions for Timed Systems
SN - 1533-2306
SP226
EP231
A1 - Elisangela Rodrigues Vieira,
A1 - Ana Cavalli,
PY - 2007
KW - null
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -
 
Elisangela Rodrigues Vieira, Laboratoire SAMOVAR (CNRS) and GET/INT, France
Ana Cavalli, Laboratoire SAMOVAR (CNRS) and GET/INT, France
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).
Citation:
Elisangela Rodrigues Vieira, Ana Cavalli, "Towards an Automated Test Generation with Delayed Transitions for Timed Systems," rtcsa, pp.226-231, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.