Meaning of Exhaustive Software Testing,

Abstract

The report defines the concept of an exhaustive software test in terms of a particular problem: The solution for the roots of quadratic equation with coefficients constrained to the range plus or minus 10 on a 12 bit minicomputer. The exhaustive test requires about 64 x 10 to the 9th power cases and is infeasible. The ensuing discussion focusses on how to choose a good non exhaustive test by an appropriate choice of test points in (1) Parameter space, (2) Solution space, (3) Pathspace. (Author)

Document Details

Document Type
Technical Report
Publication Date
Jan 02, 1974
Accession Number
AD0780907

Entities

People

  • Martin L. Shooman

Tags

DTIC Thesaurus Topics

  • Coefficients
  • Differential Equations
  • Equations
  • Mathematical Analysis
  • Mathematics
  • Midrange Computers
  • Nonlinear Differential Equations
  • Quadratic Equations
  • Real Variables
  • Software Testing

Readers

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

Technology Areas

  • Space