loading...
Test Generation for Time Critical Systems: Tool and Case Study
Delft, The Netherlands June 13-June 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.93402113th Euromicro Conference on Real-Tim ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Brian Nielsen, Arne Skou, "Test Generation for Time Critical Systems: Tool and Case Study," Real-Time Systems, Euromicro Conference on, pp. 0155, 13th Euromicro Conference on Real-Time Systems (ECRTS'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/EMRTS.2001.934021,
author = {Brian Nielsen and Arne Skou},
title = {Test Generation for Time Critical Systems: Tool and Case Study},
journal ={Real-Time Systems, Euromicro Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1221-6},
pages = {0155},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.934021},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Systems, Euromicro Conference on
TI - Test Generation for Time Critical Systems: Tool and Case Study
SN - 0-7695-1221-6
SP
EP
A1 - Brian Nielsen,
A1 - Arne Skou,
PY - 2001
VL - 0
JA - Real-Time Systems, Euromicro Conference on
ER -
 
Brian Nielsen, Aalborg University
Arne Skou, Aalborg University
Abstract: Generating timed test sequences by hand is error-prone and time consuming, and it is easy to overlook important scenarios. The paper presents a tool based on formal methods that automatically computes a test suite for conformance testing of time critical systems. The generated tests are selected on the basis of a coverage criterion of the specification. The tool guarantees production of sound test cases only, and is able to produce a complete covering test suite. We demonstrate the tool by generating test cases for the Philips Audio Protocol.
Citation:
Brian Nielsen, Arne Skou, "Test Generation for Time Critical Systems: Tool and Case Study," ecrts, pp.0155, 13th Euromicro Conference on Real-Time Systems (ECRTS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions