A Overview of Software Verification & Validation and Selection Process

International Journal of Computer Trends and Technology (IJCTT)          
© - Issue 2013 by IJCTT Journal
Volume-4 Issue-2                           
Year of Publication : 2013
Authors :Omprakash Deshmukh, Mandakini Kaushik


Omprakash Deshmukh, Mandakini Kaushik"A Overview of Software Verification & Validation and Selection Process "International Journal of Computer Trends and Technology (IJCTT),V4(2):177-182 Issue 2013 .ISSN 2231-2803.www.ijcttjournal.org. Published by Seventh Sense Research Group.

Abstract: - In recent years many Software verification and validation techniques are introduced. This curriculum paper provides an overview needed to understand in-depth 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 life-cycle usage.


[1] McCabe, T. J. and G. G. Schulmeyer. “System Testing Aided by Structured Analysis: A Practical Experience.” IEEE Trans. Software Eng. SE-11, 9 (Sept. 1985), 917-921.
[2] Petschenik, N. H. “Practical Priorities in System Testing.” IEEE Software 2, 5 (Sept. 1985), 18-23.
[3] Powell, P. B. “Planning for Software Validation Verification, and Testing.” In Software Validation,
[4] Beizer, B. Software System Testing and Quality Assurance. New York: Van Nostrand, 1984.
[5] Software Testing by Cognizant Technology Solution.
[6] Howden, W. E. Functional Program Testing and Analysis. New York: McGraw-Hill, 1987.
[7] Introduction to Software Verification and Validation SEI Curriculum Module SEI-CM-13- 1.1 December 1988

Keywords— verification and validation, system Testing, Module Testing, Regreation Testing, simulation and prototyping, requirement tracing, Proof of correctness.