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

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