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.

Report Date:

1994-05-26

Pagination or Media Count:

51.0

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