Title :
Test scenario generation from a structured requirements specification
Author :
Cunning, S.J. ; Rozenbiit, J.W.
Author_Institution :
Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
Abstract :
A brief overview of the requirements engineering, its history and state of practice are given. A semi-formal method to structure the behavioral requirements for real-time embedded systems is presented. This method is based on a set of forms that contain both informal text based descriptions and formally defined language constructs. After documentation of requirements into these forms, an algorithm to automatically generate event scenarios is presented. This algorithm extracts the needed information from the requirements forms and produces a set of scenarios that can be used to test transaction oriented systems. A design example is presented that is used to illustrate the process of converting text based requirements onto the structured requirements form and to illustrate the operation of the scenario generation algorithm
Keywords :
embedded systems; formal specification; systems analysis; behavioral requirements; design example; event scenarios; real-time embedded systems; requirements engineering; scenario generation algorithm; semi-formal method; structured requirements specification; test scenario generation; text based requirements; Documentation; Embedded system; Engineering management; Logic; Maintenance engineering; Process design; Read only memory; Specification languages; System testing; Tellurium;
Conference_Titel :
Engineering of Computer-Based Systems, 1999. Proceedings. ECBS '99. IEEE Conference and Workshop on
Conference_Location :
Nashville, TN
Print_ISBN :
0-7695-0028-5
DOI :
10.1109/ECBS.1999.755876