Automated Generation of Input Output Pairs for the Cais Validation Test Suite

摘要

This thesis addresses automating the process of generating test cases. The detailed design and preliminary implementation of a system for generating the input/output pairs are presented. The system, IOGEN, will be used for constructing validation tests for the Common APSE Interface Set (CAIS). The input/output 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.