Software Fault Tree Key Node Metric Test Cases
Donald M. Needham, Sean A. Jones · 2006
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.