DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
Automatic Test Data Generation Tool for Large- Scale Software Systems.
PARASOFT CORP MONROVIA CA
Pagination or Media Count:
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.
APPROVED FOR PUBLIC RELEASE