DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
Double Rail Tests
Memorandum rept. Jan-Dec 2008
NAVAL RESEARCH LAB WASHINGTON DC
Pagination or Media Count:
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.
APPROVED FOR PUBLIC RELEASE