Standard Article

Software Verification and Validation

  1. David Kung1,
  2. Hong Zhu2

Published Online: 15 JAN 2008

DOI: 10.1002/9780470050118.ecse708

Wiley Encyclopedia of Computer Science and Engineering

Wiley Encyclopedia of Computer Science and Engineering

How to Cite

Kung, D. and Zhu, H. 2008. Software Verification and Validation. Wiley Encyclopedia of Computer Science and Engineering. .

Author Information

  1. 1

    University of Texas at Arlington, Arlington, Texas

  2. 2

    Oxford Brookes University, Oxford, United Kingdom

Publication History

  1. Published Online: 15 JAN 2008


Software verification and validation are important because software has been used in all sectors of our society. Today's software systems are extremely large, complex, and process billions of transactions a day in the financial, retailing, manufacturing, transportation, telecommunications, and many other sectors. Many software systems are embedded systems, real-time systems, or mission-critical systems. Failures of today's software systems are financially very costly, and politically not acceptable because the failures may incur recall of products, property damages, injury to human body, or even loss of human life. Therefore, software verification, validation, and testing have received increasing attention from academic research and industry.


  • software quality assurance;
  • software testing;
  • software lifecycle