Basing test coverage on a formalization of test hypotheses
Olabisi Bella Charles, Roland Groz · 1997
This paper defines a characterization of protocol conformance test coverage based on test hypotheses. All test selection methods and coverage computation make use of test hypotheses in one way or another. Test hypotheses are assumptions made on the implementation, which justify the verdict of conformity provided by testing; thus they are an important part of the coverage. We propose a model of these hypotheses based on functions on automata, enabling a definition of coverage based on test hypotheses, which we call TH-based coverage.