RT Journal Article
T1 A Statistical Approach to Test Stochastic and Probabilistic Systems
A1 García Merayo, María De Las Mercedes
A1 Hwang, Iksoon
A1 Núñez García, Manuel
A1 Cavalli, Ana
AB In this paper we introduce a formal framework to test systems where non-deterministic decisions are probabilistically quantified and temporal information is defined by using random variables. We define an appropriate extension of the classical finite state machines formalism,widely used in formal testing approaches, to define the systems that we are interested in. First, we define a conformance relation to establish with respect to a given specification, what a good implementation is. In order to decide whether a system is conforming, we apply differentstatistic techniques to determine whether the (unknown) probabilities and random variables governing the behaviour of the implementation match the (known) ones of the specification. Next, we introduce a notion of test case. Finally, we give an alternative characterization of theprevious conformance relation based on how a set of test is passed by the implementation.
PB SPRINGER-VERLAG BERLIN
SN 0302-9743
YR 2009
FD 2009
LK https://hdl.handle.net/20.500.14352/49989
UL https://hdl.handle.net/20.500.14352/49989
LA eng
NO 11th International Conference on Formal Engineering Methods.Rio de Janeiro, BRAZIL. DEC 09-12, 2009.
NO MEC
DS Docta Complutense
RD 8 abr 2025