Software Modeling Studies. Volume IV. A Statistical Theory of Computer Program Testing.

Abstract

Program testing is studied for maximizing the reliability of computer programs. Several formulas are derived to estimate the number of tests required to say that a program being tested is correct with a given probability. Strategies to select those test cases which minimize the probability of program error while keeping the number of tests fixed, are investigated. (author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1981
Accession Number
ADA105078

Entities

People

  • Arthur E. Laemmel

Organizations

  • New York University

Tags

Communities of Interest

  • Ground and Sea Platforms
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Algorithms
  • Computer Programming
  • Computer Programs
  • Computers
  • Equations
  • Information Science
  • New York
  • Numbers
  • Operations Research
  • Probability
  • Reliability
  • Side Effects
  • Square Roots
  • Transmission Lines

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Regression Analysis.