Software Fault Tree Key Node Metric Test Cases
NAVAL ACADEMY ANNAPOLIS MD DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software
- Theoretical Mathematics