150 likes | 202 Views
ANALYSIS OF SOFTWARE REQUIREMENTS. S.Gnesi IEI-CNR Pisa Joint work with F.Fabbrini, M.Fusani, G.Lami. REQUIREMENTS ENGINEERING. Techniques for Producing SRS. SRS Quality Model. Set of rules ag ainst which to evaluate a SRD Syntactic and semantic rules
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