Program Testing and Conditional Correctness

Simple item page
dc.contributor.authorMartin, Johannes J.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:37:01Zen
dc.date.available2013-06-19T14:37:01Zen
dc.date.issued1976en
dc.description.abstractIt is shown that some beliefs about program testing are incorrect. A new notion of correctness, conditional correctness, is defined. It is then shown that conditional correctness, which can in principle be achieved by testing, is not accomplished by such methods as "testing all branches" or "testing all paths". The latter method is proven to be not only insufficient but also highly redundant. Rules for establishing conditional correctness by testing are given and illustrated by an example.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000813/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000813/01/CS76007-R.pdfen
dc.identifier.trnumberCS76007-Ren
dc.identifier.urihttp://hdl.handle.net/10919/20298en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleProgram Testing and Conditional Correctnessen
dc.typeTechnical reporten
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
CS76007-R.pdf
Size:
664.62 KB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science Technical Reports