Testing from a stochastic timed system with a fault model.



Downloads per month over past year

Hierons, Robert M. and García Merayo, Mercedes and Nuñez García, Manuel (2009) Testing from a stochastic timed system with a fault model. Journal of Logic and Algebraic Programming, 78 (2). pp. 98-115. ISSN 1567-8326

[thumbnail of GMerayo101.pdf] PDF
Restringido a Repository staff only


Official URL: http://www.sciencedirect.com/science/article/pii/S1567832608000507#


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.

Item Type:Article
Uncontrolled Keywords:Software testing; Stochastic time; Non-determinism; Fault model
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
ID Code:23013
Deposited On:01 Oct 2013 17:27
Last Modified:18 Jul 2018 07:23

Origin of downloads

Repository Staff Only: item control page