VTechWorks staff will be away for the Thanksgiving holiday beginning at noon on Wednesday, November 27, through Friday, November 29. We will resume normal operations on Monday, December 2. Thank you for your patience.
 

Coverage Analysis Methods for Formal Software Testing

Simple item page
dc.contributor.authorLee, John A. N.en
dc.contributor.authorHe, Xudongen
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:35:46Zen
dc.date.available2013-06-19T14:35:46Zen
dc.date.issued1987en
dc.description.abstractSoftware creation requires not only testing during the development cycle by the development staff, but also independent validation following the completion of the implementation. However in the latter case, the amount of testing that can be carried out is often limited by time and resources. At the very most, independent testing can be expected to provide 100% coverage of the requirements (or specifications) associated with the software element. This report describes a methodology by which the amount of testing required to provide 100% coverage of the requirements is assured while at the same time minimizing the total number of tests included in a test suite. A collateral procedure provides recommendations on which tests which might be eliminated if less than 10O% coverage of the requirements is permitted. This latter process will be useful in determining the risk of not running the minimum set of tests for 100% coverage. A second process selects from the test matrix the set of tests to be applied to the system following maintenance modification of any module-- that is, to provide a submatrix for regression testing.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000052/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000052/01/TR-87-04.pdfen
dc.identifier.trnumberTR-87-04en
dc.identifier.urihttp://hdl.handle.net/10919/19994en
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.titleCoverage Analysis Methods for Formal Software Testingen
dc.typeTechnical reporten
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR-87-04.pdf
Size:
918.55 KB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science Technical Reports