Accession Number:

ADA460760

Title:

Software Fault Tree Key Node Metric Test Cases

Descriptive Note:

Technical rept.

Corporate Author:

NAVAL ACADEMY ANNAPOLIS MD DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

2006-04-25

Pagination or Media Count:

12.0

Abstract:

This report contains 70 sets of software fault trees used to test a software fault tree key node safety metric. Each page represents a set often trees with an identical root node hazard. To the left of the initial tree on each page arc the negatively mutated trees. To the right are the positively mutated trees. Under each tree is the value produced by the metric equation, S, when run on the tree.

Subject Categories:

  • Computer Programming and Software
  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE