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