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