Formal Methods in Conformance Testing: A Probabilistic Refinement


Heerink, A.W. and Tretmans, G.J. (1996) Formal Methods in Conformance Testing: A Probabilistic Refinement. In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany (pp. pp. 261-276).

open access
Abstract:This paper refines the framework of ‘Formal Methods in Conformance Testing’ by introducing
probabilities for concepts which have a stochastic nature. Test execution is refined into test
runs, where each test run is considered as a stochastic process that returns a possible observa-
tion with a certain probability. This implies that not every possible observation that could be
made, will actually be made. The development process of an implementation from a specifica-
tion is also viewed as a stochastic process that may result in a specific implementation with a
certain probability. Together with a weight assignment on implementations this introduces a
valuation measure on implementations. The test run probabilities and the valuation measures
are integrated in generalized definitions of soundness and exhaustiveness, which can be used
to compare test suites with respect to their ability to accept correct, and to reject erroneous
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page