Accession Number:

ADA170741

Title:

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

Descriptive Note:

Doctoral thesis,

Corporate Author:

AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH

Personal Author(s):

Report Date:

1986-05-01

Pagination or Media Count:

89.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE