当且仅当一条需求一致性规则不再被满足的时候,需求出现了不一致。其中一致性规则包括:良构性规则、描述同一性规则、应用领域规则、开发兼容性规则和开发过程柔性规则等。(面向领域的软件需求一致性验证方法研究)
检测不一致的方法:人工检查,基于模型检测的技术,基于图形表示的技术(用图表示需求,通过给定某些特定的图的性质,或者某些特定的图元的语义等,检测出一个需求描述内容或一组需求描述之间的不一致)。