150 likes | 292 Views
This paper presents a comprehensive analysis of software requirements, focusing on techniques to produce high-quality Software Requirements Specifications (SRS). It introduces a quality model assessing syntactic and semantic properties, emphasizing non-ambiguity, completeness, and understandability. The evaluation addresses both individual requirements and the overall Requirements Specification Document, ensuring clarity in software development. Utilizing the QuARS tool, the paper provides validation results across various applications, from business to security. It aims to develop a model for systematically evaluating SRS quality through metrics and automated tools.
E N D
ANALYSIS OF SOFTWARE REQUIREMENTS S.Gnesi IEI-CNR Pisa Joint work with F.Fabbrini, M.Fusani, G.Lami
SRS Quality Model Set of rules against which to evaluate a SRD • Syntactic and semantic rules • Document structure and sentence structure characteristics
SRS Quality Evaluation RSQ related Properties • Non-Ambiguity: the capability of a Requirement to have a unique interpretation. • Completeness: the capability of each Requirement to make reference to precisely identified entities. • Understandability: the capability of each Requirement to be fully understood when used for developing software.
SRS Quality Evaluation RDQ related Properties • Completeness: the capability of the Requirements Specification Document to avoid potential or actual discrepancies. • Understandability: the capability of the Requirements Specification Document to be fully understood when read by the user.
The Quality Model (I) UNDERSTANDABILITY
The Quality Model (II) TESTABILITY CONSISTENCY COMPLETENESS
QuARS Tool QuARS: Quality Analyser of Requirements Specifications
Validation Results S1:Business Application: Functional Requirements of a Transaction and Customer Service (TACS) Check Cashing module; S2:Space Software Application: Functional Requirements of a sub-system of a space vehicle; S3:Telecommunication Application: Requirements Specification of a project aiming for a new generation STM switches; S4: Security Application: Functional Security Requirements for an Application Level Firewall Protection Profile Rate of defects occurrences on the total requirements Percentage distribution of defects types detected
Conclusions • A Model for the syntactic quality of SRS • uncomplete • including indicators (metrics) numerically and automatically computable • An automatic Tool providing support for the Quality Evaluation of SRS by means of calculation of the Quality Model metrics