Formal Methods in Conformance Testing: A Probabilistic Refinement

B. Baumgarten (Editor), A.W. Heerink, G.J. Tretmans, H.-J. Burkhardt (Editor), A. Giessler (Editor)

    Research output: Contribution to conferencePaperAcademicpeer-review

    67 Downloads (Pure)


    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.
    Original languageUndefined
    Number of pages16
    Publication statusPublished - 1996
    EventIFIP TC6 9th International Workshop on Testing of Communicating Systems 1996 - Darmstadt, Germany
    Duration: 9 Sep 199611 Sep 1996


    ConferenceIFIP TC6 9th International Workshop on Testing of Communicating Systems 1996


    • IR-66275
    • EWI-6477

    Cite this