Advertisement

Journal of Computer Science and Technology

, Volume 14, Issue 4, pp 401–407 | Cite as

Automated analysis of the SCR-style requirements specifications

  • Wu Guoqing 
  • Liu Xiang 
  • Ying Shi 
  • Tetsuo Tamai 
Correspondence

Abstract

The SCR (Software Cost Reduction) requirements method is an effective method for specifying software system requirements. This paper presents a formal model analyzing SCR-style requirements. The analysis model mainly applies state translation rules, semantic computing rules and attributes to define formal semantics of a tabular notation in the SCR requirements method, and may be used to analyze requirements specifications to be specified by the SCR requirements method. Using a simple example, this paper introduces how to analyze consistency and completeness of requirements specifications.

Keywords

requirements engineering requirements specifications mode transition rule requirements analysis 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Alspaugh T, Faulk S, Britton K, Parker R, Parnas D, Shore J. Software Requirements for the A-7E Aircraft.Naval Research Lab. Tech. Rep., March 1988.Google Scholar
  2. [2]
    Constance H, James K, Bruce L. The SCR method for formally specifying, verifying, and validating requirements: Tool support. In19th International Conference on S.E., Boston, Massachusetts, USA, May 1997, pp. 610–611.Google Scholar
  3. [3]
    Atlee Joanne M, Gannon John. State-Based Model Checking of Event-Driven System, Requirements.IEEE Trans. on Software Eng., 1991, 19(1): 24–40.CrossRefGoogle Scholar
  4. [4]
    Constance L Heitmeyer, Ralph D Jeffords, Bruce G Labaw. Automated Consistency Checking of Requirements Specifications.ACM Trans. on Software Eng. and Methodology, 1996, 5(3): 231–261.CrossRefGoogle Scholar
  5. [5]
    Mats P E Heimdahl, Nancy G Leveson. Completeness and Consistency in Hierarchical State-Based Requirements.IEEE Trans. on Software Eng., 1996, 22(6): 363–377.CrossRefGoogle Scholar
  6. [6]
    Michael Jackson. Software Requirements & Specifications, Addision-Wesley, 1995.Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1999

Authors and Affiliations

  • Wu Guoqing 
    • 1
  • Liu Xiang 
    • 1
  • Ying Shi 
    • 1
  • Tetsuo Tamai 
    • 2
  1. 1.State Key Lab. of Software EngineeringWuhan UniversityWuhanP.R. China
  2. 2.Graduate School of Art and SciencesUniversity of TokyoTokyoJapan

Personalised recommendations