Software testing

Kapfhammer, Gregory M.

The Computer Science Handbook, 2004

Abstract

When a program is implemented to provide a concrete representation of an algorithm, the developers of this program are naturally concerned with the correctness and performance of the implementation. Software engineers must ensure that their software systems achieve an appropriate level of quality. Software verification is the process of ensuring that a program meets its intended specification. One technique that can assist during the specification, design, and implementation of a softw are system is softw are verification through correctness proof. Software testing, or the process of assessing the functionality and correctness of a program through execution or analysis, is another alternative for verifying a software system.

Resources

Paper

Reference

@incollection{Kapfhammer2004,
  author = {Kapfhammer, Gregory M.},
  title = {Software testing},
  booktitle = {The Computer Science Handbook},
  publisher = {CRC Press},
  year = {2004}
}
Return to the List of Papers
Like my work? Support it!