IOGen: Toward an Automated Tool for Production of Reliable and Valid Test Suites

Abstract

This thesis addresses enhancements to a technique for generating test cases and modifications to an automated system implementing the technique. This system, IOGen, generates input/output pairs for the Common APSE Interface Set (CAIS) and for Ada programs in general. Ada language topics for which symbolic execution and IOGen do not address are discussed. The detailed design for an enhanced IOGen system is presented. A case study shows that modifications to IOGen enhance its error detection capability. Finally, current and future areas of research for IOGen are presented. Programming languages.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1988
Accession Number
ADA196699

Entities

People

  • Mark A. Norman

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Case Studies
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Department Of Defense
  • Grammars
  • High Level Languages
  • Language
  • Programming Languages
  • Robotics
  • Software Development
  • Specifications
  • Standards
  • Test Sets
  • Validation

Fields of Study

  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering.