Accession Number : ADA289081

Title :   Automatic Test Data Generation Tool for Large- Scale Software Systems.

Descriptive Note : Final rept.,

Corporate Author : PARASOFT CORP MONROVIA CA

Personal Author(s) : Kolawa, A. ; Strickland, B. ; Hicken, A.

PDF Url : ADA289081

Report Date : 26 MAY 1994

Pagination or Media Count : 51

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.

Descriptors :   *SOFTWARE ENGINEERING, *PROTOTYPES, COMPUTER PROGRAMS, ALGORITHMS, INPUT, EXPERIMENTAL DATA, LESSONS LEARNED, PROBLEM SOLVING, SCALE, HEURISTIC METHODS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE