This paper refines the framework of 'formal Mehtods in Conformance Testing' by introducing probabilities for concepts which ahve a stochastic nature.Trest execution is refined into test runs,where each ttest run is ocnsidered as a stochastic process htat returns a possible obsrvation with a certain probability.This imlies that not every possible observation that could be made,will actually be made.the developmetn process of an implementation from a sepcification is also viewed as a stochastic process htat may result in a psecific implemenat5tin with a certain probability.Together with a weight assignment on implemenatations this introduces a valuationmeasure on implementations.The test run probabilities and hte valuation measrues are integrated in geenratlized deifinitions of soundness and exhaustiveness,which can be used to compare test suties with respect to their ability to accept correct.and the reject erroneous implementations.
展开▼
