期刊名称：International Journal of Computer Trends and Technology
电子版ISSN：2231-2803
出版年度：2013
卷号：4
期号：2-2
出版社：Seventh Sense Research Group
摘要：In recent years many Software verification and validation techniques are introduced. This curriculum paper provides an overview needed to understand indepth curriculum modules in the verification and validation area. This paper also addresses planning considerations for V&V processes, including the selection and integration of V&V techniques throughout the software evolution process. Our work identified, along with their possible V&V objectives. The V&V process consists of numerous techniques and tools, often used in combination with one another. Due to the large number of V&V approaches in use, this paper cannot address every technique. Instead, it will analyze five categories of V&V approaches. These are • Technical reviews, • Software testing, • Proof of correctness (program verification), • Simulation and prototyping, and • Requirements tracing. In the development of a software system, it is important to be able to determine if the system meets specifications and if its outputs are correct. This is the process of verification and validation (V & V) and its planning must start early in the development life cycle. Both aspects are necessary as a system meeting its specifications does not necessary mean it is technically correct and vice versa. There are many different V & V techniques which are applicable at different stages of the development life cycle. Thorough V & V does not prove that the system is safe or dependable, and there is always a limit to how much testing is enough testing. Therefore, extreme care should be taken in the development of software systems to make sure that the right amount of time is spent on V & V [7]. Software quality is achieved through the application of development techniques and the use of verification procedures throughout the development process Careful consideration of specific quality attributes and validation requirements leads to the selection of a balanced collection of review, analysis, and testing techniques for use throughout the life cycle. This paper surveys current verification, validation, and testing approaches and discusses their strengths, weaknesses, and lifecycle usage.
关键词：verification and validation; system Testing; Module Testing; Regreation Testing; simulation and prototyping; requirement tracing; Proof of correctness
