Servers

A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation

Free registration required

Executive Summary

Fault-Injection (FI) based techniques for dependability assessment of distributed protocols face certain limitations in providing state-space coverage and also incur high operational cost. This is mainly due to lack of complete knowledge of fault-distribution at the protocol level which in turn limits the use of statistical approaches in deriving and estimating the number of test cases to inject. In practice, formal techniques have effectively being used in proving the correctness of dependable distributed protocols, and these techniques traditionally have not been directly associated with experimental validation techniques such as FI-based testing.

  • Format: PDF
  • Size: 434.87 KB