Automated Analysis of the SCR-Style Requirements Specifications

摘要

The SCR (Software Cost Reduction) requirements method is an effective method for specifying software system requirements. This paper present a formal model analyzing SCR-style requirements. The analysis model mainly aPplies state translation rules, semantic computing rules and attributes to define formal se- mantics 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 com pleteness of requirements specifications.