Software Verification and Validation
Published Online: 15 JAN 2008
Copyright © 2007 by John Wiley & Sons, Inc.
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. .
- 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