Although the software specification described using natural language is easy to write and understand , its validity , integrality , non - ambiguity , consistency are hard to guarantee . the process of verification can only be done by manpower which is not normative and not rigorous . and the complexity of a lot of software has made it impossible to check the specifications artificially 需求规格说明是需求分析阶段的产品，我们通常采用的是未使用任何限制非形式化的自然语言进行描述，这种自然语言书写的需求说明，虽然易于理解和使用，但难以保证其正确性、完整性、无二义性、一致性，验证过程只能采用不太规范、不太严格的人工走查的方法进行检查，稍微复杂一些软件的需求规格说明的检查，实际上已经超出了人工检查的能力。
