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

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1986
Accession Number
ADA170741

Entities

People

  • Joyce R. Jenkins

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Case Studies
  • Computer Programming
  • Computer Programs
  • Computers
  • Debugging
  • Demographic Cohorts
  • Department Of Defense
  • Environment
  • Language
  • Software Development
  • Software Development Tools
  • Software Testing
  • Specifications
  • Standards
  • Test Methods
  • United States Government
  • Validation

Readers

  • Computer Science.
  • Software Engineering.