2026-06-27T23:58:59Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/439892024-08-21T13:31:01Zcom_20.500.14352_14col_20.500.14352_15

00925njm 22002777a 4500 dc Hierons, Robert M. author García Merayo, María De Las Mercedes author Núñez García, Manuel author 2009-01 In this paper we present a method for testing a system against a non-deterministic stochastic finite state machine. 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. We show how previous work on testing from stochastic systems can be encoded into the framework presented in this paper as an instantiation of our parameterized implementation relation. In this setting, we use a notion of conformance up to a given confidence level. 1567-8326 https://hdl.handle.net/20.500.14352/43989 http://www.sciencedirect.com/science/article/pii/S1567832608000507# http://www.sciencedirect.com/ Testing from a stochastic timed system with a fault model.