1 Introduction
Software requirement specification (SRS) is the foundation of software development. Hence, a high-quality SRS may increase the possibility of a high software quality. It is just like the term “garbage in, garbage out” that has been used in software programming which means ‘1f there is a logical error in software, or incorrect data are entered, the result will probably be either a wrong answer or a system crash” [10]. Looking at the V-Model, a high-level testing is often depicted as the Verification and Validation activity to requirements elicitation, analysis and specification. As such, this connection between requirements engineering and testing is a key part of our software engineering knowledge [27]. An essential property of a software requirement is that it should be possible to validate that the finished product satisfies it [8].