Double Rail Tests

Abstract

We present algebraic operators useful in constructing models for software engineering applied to reliability and security. Double rail testing is a mathematical formalism for analyzing testing situations that have both false positives and false negatives, as well as true positives and true negatives. Furthermore, tests are qualitatively modeled via channel theory, and their quantitative behavior is described as a Shannon binary communication channel. Tests, viewed strictly quantitatively, form a domain (domain theory) and the domain order is determined by the probability of error for tests. The language for tests includes operators for convex sum, sequential (Markov) composition, parallel conjunction and parallel disjunction, and an involution.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 24, 2009
Accession Number
ADA505365

Entities

People

  • Gerard Allwein
  • Ira S. Moskowitz

Organizations

  • United States Naval Research Laboratory

Tags

DTIC Thesaurus Topics

  • Circuits
  • Communication Channels
  • Computer Programming
  • Computers
  • Control Systems
  • Errors
  • Language
  • Mathematics
  • Military Research
  • Numbers
  • Probabilistic Models
  • Probability
  • Probability Distributions
  • Random Variables
  • Reliability
  • Software Development
  • Software Metrics

Readers

  • Computational Modeling and Simulation
  • Explosive Engineering.
  • Mathematical Modeling and Probability Theory.