Mercedes Merayo du 15/04 /09 au 31/05/09 – Assistant Professor à l’Université Complutense de Madrid
A method for testing a system against a non-deterministic stochastic finite state machine will be presented.
As usual, we assume that the functional behaviour of the system under test (SUT) is deterministic but we allow the timing to be non-deterministic.
We extend the state counting method of deriving tests, adapting it to the presence of temporal requirements represented by means of random variables.
The notion of conformance is introduced using an implementation relation considering temporal aspects and the limitations imposed by a black-box framework.
We propose a new group of implementation relations and an algorithm for generating a test suite that determines the conformance of a deterministic SUT with respect to a non-deterministic specification.