原则53:减少需求中的歧义
自然语言存在歧义,但可以通过评审、重写有歧义的文字。
> 减少歧义的三个方法:
1. 软件需求规格说明采用 范根检查法 Fagan Inspection
2. 尝试对需求构建更形式化的模型,并在发现问题后重写自然语言描述(原则28)
3. 排版,对开页包含自然语言描述、形式模型描述
· 注:范根检查法是从文档中发现缺陷的流程。
Davis, A., Software Requirements: Objects, Function and states, Englewood Cliffs, N.J.: Prentice Hall, 1993, Section 3.4.2.