By Topic

Synthesis of high-level requirements models for automatic test generation

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Gupta, P. ; Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA ; Cunning, S.J. ; Rozenblit, J.W.

Describes research and development into techniques to support the 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 that are designed to generate test scenarios from a 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 are presented that extract the requirements model and synthesize an equivalent high-level functional representation. The tool, called the Requirements Model Code Synthesizer, has been applied to a number of design cases, one of which is described in this paper.

Published in:

Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the

Date of Conference: