Methodologies for Computer Program Testing.

Abstract

This report summarizes research, on computer program testing, in particular the development of a strategy called the Domain Testing Strategy. For a large and important class of programs, this strategy enables the generation of test data which can test, in principle, for all errors in the control flow of a program. Among the constraints for practical application of the strategy is that the predicates that affect the control flow are linear in the input variables. The extension of the strategy to modular testing of programs is presented. The sensitivity of the strategy to changes in certain parameters is discussed and implementation of a pilot system to generate test data using this strategy is outlined.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 10, 1979
Accession Number
ADA077414

Entities

People

  • Balasubramanian Chandrasekaran
  • Lee J. White

Organizations

  • Ohio State University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Data Processing
  • Debugging
  • Identification
  • Information Science
  • Linearity
  • Probability
  • Reliability
  • Software Development
  • Software Testing
  • Specifications
  • Surveys
  • Test Methods

Fields of Study

  • Computer science

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Computational Linguistics
  • Software Engineering.