loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS '01)
Synthesis of High-Level Requirements Models for Automatic Test Generation
Washington DC
April 17-April 20
ISBN: 0-7695-1086-8
ASCII Text
x 
 
P. Gupta, S.J. Cunning, J.W. Rozenblit, "Synthesis of High-Level Requirements Models for Automatic Test Generation," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 0076, Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS '01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2001.922408,
author = {P. Gupta and S.J. Cunning and J.W. Rozenblit},
title = {Synthesis of High-Level Requirements Models for Automatic Test Generation},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2001},
isbn = {0-7695-1086-8},
pages = {0076},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2001.922408},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - Synthesis of High-Level Requirements Models for Automatic Test Generation
SN - 0-7695-1086-8
SP
EP
A1 - P. Gupta,
A1 - S.J. Cunning,
A1 - J.W. Rozenblit,
PY - 2001
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
P. Gupta, The University of Arizona
S.J. Cunning, The University of Arizona
J.W. Rozenblit, The University of Arizona
Abstract: This paper describes research and development of techniques to support automatic generation of test cases for event-oriented, real-time embedded systems. A consistent suite of test scenarios can assure consistency at all levels of design activities. Although we have developed algorithms designed to generate test scenarios from state-based functional requirements model, their applicability is severely limited without a means to automatically translate the model functions into a form that can be readily integrated with the algorithms. A method and tool that extract the model of requirements and synthesize an equivalent high-level functional representation are presented. The tool, called Requirements Model Code Synthesizer, has been applied to a number of design cases, one of which is described in this paper.
Citation:
P. Gupta, S.J. Cunning, J.W. Rozenblit, "Synthesis of High-Level Requirements Models for Automatic Test Generation," ecbs, pp.0076, Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS '01), 2001
Usage of this product signifies your acceptance of the Terms of Use.