Automated Generation of Input Output Pairs for the Cais Validation Test Suite.
AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH
Pagination or Media Count:
This thesis addresses automating the process of generating test cases. The detailed design and preliminary implementation of a system for generating the inputoutput pairs are presented. The system, IOGEN, will be used for constructing validation tests for the Common APSE Interface Set CAIS. The inputoutput pairs generated using symbolic execution and an overview of the symbolic execution technique as it applies to testing are given. Finally, possible areas for enhancing the IOGEN system are provided.
- Computer Programming and Software
- Computer Hardware