|
| 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 - | |||
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.