Software Testing

  • Doron A. Peled
Part of the Texts in Computer Science book series (TCS)


Testing is the process of sampling the executions of a system according to some given criterion. Each execution is compared with the specification, and any mismatch is reported as an error. Since testing is usually based on sampling of the system executions, rather than on systematically checking all of them, it is not considered to be an exhaustive check guaranteed to cover all possible errors. It provides a lesser guarantee than the more comprehensive formal methods presented in previous chapters. Thus, some researchers do not even include testing within formal methods. However, testing does provide a practical solution in the case where a given system is so large that it defies manual or automatic verification. In fact, testing is by and large the most commonly used method for enhancing the quality of software.


Model Check Test Suite Software Test Condition Coverage Program Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Further Reading

The classical book on software testing is still Myer’s

  1. G. J. Myers, The Art of Software Testing, Wiley, 1979.Google Scholar

Several comprehensive books on testing were written by Beizer

  1. B. Beizer, Black-Box Testing, Wiley, 1995.Google Scholar
  2. B. Beizer, Software Testing Techniques, 2nd edition, Van Nostrand Reinhold, 1990.Google Scholar

Copyright information

© Lucent Technologies 2001

Authors and Affiliations

  • Doron A. Peled
    • 1
  1. 1.Computing SciencesBell Labs/Lucent TechnologiesMurray HillUSA

Personalised recommendations