Abstract
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.
Keywords
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.
... and tied round the neck of the bottle was a paper label, with the words “DRINK ME” beautifully printed on it in large letters. It was all very well to say ‘Drink me,’ but the wise little Alice was not going to do that in a hurry. ‘No, I’ll look first, ’ she said, ‘and see whether it’s marked “poison” or not’.
Lewis Carroll, Alice’s Adventures in Wonderland
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Further Reading
The classical book on software testing is still Myer’s
G. J. Myers, The Art of Software Testing, Wiley, 1979.
Several comprehensive books on testing were written by Beizer
B. Beizer, Black-Box Testing, Wiley, 1995.
B. Beizer, Software Testing Techniques, 2nd edition, Van Nostrand Reinhold, 1990.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Lucent Technologies
About this chapter
Cite this chapter
Peled, D.A. (2001). Software Testing. In: Software Reliability Methods. Texts in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-3540-6_9
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3540-6_9
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-2876-4
Online ISBN: 978-1-4757-3540-6
eBook Packages: Springer Book Archive