A detecting and interpreting method of the inconsistency of software requirements specifications

Author

Sugimoto, Hideaki ; Ohnishi, Atsushi

Author_Institution

Dept. of Comput. Sci., Ritsumeikan Univ., Kyoto, Japan

fYear

1999

fDate

1999

Firstpage

208

Lastpage

215

Abstract

A software requirements specification (SRS) is a document at the first phase of software development. Since it is difficult to make an accurate SRS at the beginning of software development, we propose a supporting method to detect and interpret the inconsistency of SRS. First, we classify and define the inconsistency of SRS. Next, we describe how to detect and interpret the inconsistency of SRS. We use the Requirements Frame Model to detect the inconsistency of SRS. We apply Dempster and Shafer´s theory (A.P. Dempster, 1968) to interpret the inconsistency of SRS. The method is illustrated with an example

Keywords

formal specification; program diagnostics; software performance evaluation; systems analysis; Requirements Frame Model; SRS inconsistency; interpreting method; software development; software requirements specification inconsistency; Books; Computer errors; Computer science; Costs; Environmental management; Libraries; Phase detection; Programming; Redundancy; Software development management;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 1999. (APSEC '99) Proceedings. Sixth Asia Pacific

Conference_Location

Takamatsu

Print_ISBN

0-7695-0509-0

Type

conf

DOI

10.1109/APSEC.1999.809604

Filename

809604