Synthesis of high-level requirements models for automatic test generation

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.