Test scenario generation from a structured requirements specification

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.

[1]  János Demetrovics,et al.  Specification Meta Systems , 1982, Computer.

[2]  Alan M. Davis,et al.  The Design of a Family of Application-Oriented Requirements Languages , 1982, Computer.

[3]  Jonathan A. Bauer,et al.  Test Plan Generation Using Formal Grammars , 1979, ICSE.

[4]  Jerzy W. Rozenblit,et al.  Please Scroll down for Article International Journal of General Systems Experimental Frame Specification Methodology for Hierarchical Simulation Modeling Experimental Frame Specification Methodology for Hierarchical Simulation Modeling , 2022 .

[5]  Stephanie M. White,et al.  Comparative analysis of embedded computer system requirements methods , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[6]  Kenji Takahashi,et al.  Inquiry-based requirements analysis , 1994, IEEE Software.

[7]  David Chenho Kung,et al.  Formal approach to scenario analysis , 1994, IEEE Software.

[8]  S. J. Goldsack,et al.  Requirements engineering for real-time systems , 1991, Softw. Eng. J..

[9]  A. Davis,et al.  Giving voice to requirements engineering , 1994, IEEE Software.

[10]  Klaus Buchenrieder,et al.  Codesign : Computer-aided software/hardware engineering , 1994 .

[11]  A. A. Levene,et al.  An Investigation of Requirement Specification Languages: Theory and Pratice , 1982, Computer.

[12]  David Chenho Kung,et al.  Status report: requirements engineering , 1993, IEEE Software.

[13]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[14]  Constance L. Heitmeyer,et al.  The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[15]  Gerald C. Cohen,et al.  Requirements Specification Language (RSL) and supporting tools , 1992 .

[16]  M. Chandrasekharan,et al.  Requirements-based testing of real-time systems: Modeling for testability , 1985, Computer.

[17]  Juha Kuusela,et al.  Object-oriented technology for real-time systems: a practical approach using OMT and Fusion , 1996 .

[18]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[19]  Klaus Buchenrieder,et al.  Model-Based Codesign , 1998, Computer.

[20]  Jerzy W. Rozenblit,et al.  Computer Aided Software/Hardware Engineering , 1994 .

[21]  H. Rischel,et al.  Design of embedded, real-time systems: developing a method for practical software engineering , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.