Software Fault Tree Key Node Metric Test Cases

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 25, 2006
Accession Number
ADA460760

Entities

People

  • D. M. Needham
  • S. A. Jones

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Classification
  • Computer Science
  • Computers
  • Contracts
  • Equations
  • Information Operations
  • Instructions
  • Monitoring
  • Security
  • Standards
  • United States Naval Academy

Fields of Study

  • Computer science

Readers

  • Operations Research
  • Parallel and Distributed Computing.