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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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.
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.
Atlee Joanne M, Gannon John. State-Based Model Checking of Event-Driven System, Requirements.IEEE Trans. on Software Eng., 1991, 19(1): 24–40.
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.
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.
Michael Jackson. Software Requirements & Specifications, Addision-Wesley, 1995.
Author information
Authors and Affiliations
Additional information
The work of this paper is supported by the National Natural Science Foundation of China.
Wu Guoqing is a Professor of School of Computer Science and Technology, Wuhan University. His research interests include software engineering, requirements engineering and knowledge engineering.
Liu Xiang is currently a graduate student of Wuhan University. His M.S. degree is expected in July 1999. His research interest is in software engineering.
Ying Shi is an Assistant Professor of School of Computer Science and Technology, Wuhan University. His research interests include software engineering, requirements engineering and software reuse.
Tetsuo Tamai is a Professor of Graduate School of Arts and Sciences, University of Tokyo and is a Guest Professor of School of Computer Science of Technology, Wuhan University. His research interests include software engineering, formal theory, requirements engineering and knowledge engineering.
Rights and permissions
About this article
Cite this article
Wu, G., Liu, X., Ying, S. et al. Automated analysis of the SCR-style requirements specifications. J. Comput. Sci. & Technol. 14, 401–407 (1999). https://doi.org/10.1007/BF02948743
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02948743