A Survey of Requirements Verification Techniques
本文综述了需求验证技术，分类说明需求错误类型并举例，评估各技术识别错误的能力，指出其局限，帮助系统分析师识别需求规格中的错误。
Requirements verification is a set of procedures used to detect errors in requirement specifications. This paper discusses various types of requirement errors and illustrates each error with an example. It also examines several techniques used for requirements verification and the capability of each technique to identify various requirement errors. In addition, it reviews the use of each technique in various requirements analysis approaches and indicates the drawbacks of these techniques. This paper can help systems analysts to be aware of possible errors in requirement specifications and the limitations in requirements verification while using a requirements analysis approach.