Quantitative Methods for Software Reliability Measurements.

Abstract

This research effort in the field of software reliability is primarily based on probability: as applied to error detection rates; as applied to the generation of input tests data; and as applied to the economics of random versus constructed test cases. The background description of the flow of computations is made by means of a directed graph representation and a connection matrix depicting possible links between program segments. Random numbers selected from a given domain by several distributions are employed as input to programs instrumented to detect the use of the proram's segments. An algorithm is employed to estimate the total number of execution sequences which are likely to be eventually driven by random number inputs, and, by implication, the point in testing where the change to constructed cases should be made. Models for determining the count of these execution sequences are described and tables which facilitate estimation of the number of logical paths and related parameters are provided for convenience. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1976
Accession Number
ADA035585

Entities

People

  • Paul B. Moranda

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Sensors

DTIC Thesaurus Topics

  • Accuracy
  • Algorithms
  • Application Software
  • Command And Control
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Detection
  • Diagrams
  • Language
  • Probability
  • Random Number Generators
  • Real Numbers
  • Reliability
  • Software Development
  • Three Dimensional

Readers

  • Computational Modeling and Simulation
  • Computer Programming and Software Development.
  • Graph Algorithms and Convex Optimization.