Formal Methods in Conformance Testing: A Probabilistic Refinement


Share/Save/Bookmark

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
[img]
Preview
PDF
193kB
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
implementations.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/66275
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page