Accession Number:

ADA505365

Title:

Double Rail Tests

Descriptive Note:

Memorandum rept. Jan-Dec 2008

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Personal Author(s):

• Allwein, Gerard
• Moskowitz, Ira S.

Report Date:

2009-07-24

Pagination or Media Count:

13.0

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.

Descriptors:

• *SOFTWARE METRICS
• *ALGEBRAIC FUNCTIONS
• *SOFTWARE ENGINEERING
• *RELIABILITY
• BINARY NOTATION
• ERRORS
• PROBABILITY
• THEORY
• TEST AND EVALUATION
• SECURITY

Subject Categories:

• Numerical Mathematics
• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE