Journal of Information Technology

Document Type

Research Article


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.