Synthesis of high-level requirements models for automatic test generation

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.