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 conferencePaper

    50 Downloads (Pure)

    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.
    Original languageUndefined
    Pages261-276
    Number of pages16
    Publication statusPublished - 1996

    Keywords

    • FMT-TESTING
    • IR-66275
    • EWI-6477

    Cite this

    Baumgarten, B. (Ed.), Heerink, A. W., Tretmans, G. J., Burkhardt, H-J. (Ed.), & Giessler, A. (Ed.) (1996). Formal Methods in Conformance Testing: A Probabilistic Refinement. 261-276.