A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.
Ming Yao, Alexandre Petrenko, Gregor von Bochmann · Formal Techniques for (Networked and) Distributed Systems · 1994
In this paper, we propose a structural analysis approach to the evaluation of fault coverage of protocol conformance testing based on the finite state machine model. The attractiveness of this approach is its low computational complexity. It allows us to calculate the fault coverage of a given test suite by directly analyzing the test suite against the specification machine. Therefore, it avoids the generation and execution of mutants. The approach has been implemented and a number of experiments has been carried out. Some of the experimental results are summarized in this paper to show the accuracy of this approach compared with the mutation analysis technique.