Reports
A Proposal for an Integrated Testing System for Computer Programs ; CU-CS-093-76 Public Deposited
Downloadable Content
Download PDF
https://scholar.colorado.edu/concern/reports/v118rf203
- Abstract
- The idea of combining three well known program testing techniques—dynamic testing, symbolic execution and static analysis—into a single testing system is advanced and explored here. The characteristics of each of the three techniques are presented and analyzed. Then it is shown that the strengths and weaknesses of the techniques are largely complementary and represent, from a number of points of view, a natural progression of diagnostic capabilities. A system exploiting this progression is proposed, and a number of difficulties to be expected in implementing such a system are discussed. Approaches to resolving many of these difficulties are also presented.
- Creator
- Date Issued
- 1976-08-01
- Academic Affiliation
- Last Modified
- 2019-12-21
- Resource Type
- Rights Statement
- Language
Relationships
Items
Thumbnail | Title | Date Uploaded | Visibility | Actions |
---|---|---|---|---|
aProposalForAnIntegratedTestingSystemForComputerPrograms.pdf | 2019-12-21 | Public | Download |