This paper defines a characterization of protocol confonnance 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 confonnity 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.

No abstract