Automatic Test Data Generation Tool for Large- Scale Software Systems.
Abstract
The main Phase I goals were to: *Build a prototype of a TGS System which works with programs written in C. The prototype should have skeletons of the major algorithms which the tool will be using. *Assess if the approach which we proposed has a chance to become a real TGS tool, by running the prototype on chosen C programs. The goals of the Phase I were achieved. We produced a working prototype of the TgS tool. We implemented the major algorithms: *Symbolic execution, *Dynamic Data-Flow Analysis, *Function Minimization Methods, *Heuristics Random Input Generation.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 26, 1994
- Accession Number
- ADA289081
Entities
People
- A. Hicken
- A. Kolawa
- B. Strickland