A Simplified and Corroborative Approach towards Formalization of Requirements

This manuscript elucidates a simplified and corroborative approach towards Formalization of Requirements. The discussion implicates Use Cases, Scenarios and State Transition Diagrams as a basis for automating the process of formalization, which is achieved via a self-developed tool “STATEST 1.0.0” that exemplifies the underlying concept and illustrates the ease of automation.

[1]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[2]  Shaoying Liu,et al.  An Automated Approach to Specification-Based Program Inspection , 2005, ICFEM.

[3]  Jeffrey G. Gray,et al.  From Natural Language Requirements to Executable Models of Software Components , 2003 .

[4]  Shaoying Liu.  Utilizing Formalization to Test Programs without Available Source Code (Short Paper) , 2008, 2008 The Eighth International Conference on Quality Software.

[5]  John A. McDermid,et al.  Practical Formal Specification for Embedded Control Systems , 2004 .

[6]  Jon Whittle,et al.  UCSIM: A Tool for Simulating Use Case Scenarios , 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

[7]  Luis Fernandez,et al.  Efficient Software Quality Assurance Approaches Oriented to UML Models in Real Life , 2007 .

[8]  Alistair G. Sutcliffe,et al.  Scenario-based requirements engineering , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[9]  Shaoying Liu,et al.  An Empirical Study on a Specification-Based Program Review Approach , 2006, 2006 International Conference on Dependability of Computer Systems.

[10]  Ajitha Rajan,et al.  Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.