A Method of Requirement Inconsistency Analysis

A new requirement inconsistency analysis method is presented to solve the problem of inconsistent requirement description in the process of requirement analysis. In the method, the requirement model is of two sets: state set and event set, and is described as reduced state machine to maintain global context information. A unified requirement model is reached by using ternary logic operator to resolve the inconsistency in the inconsistent models. In addition, a tool named SRIA implemented based on the method is introduced.