2026-06-27T10:22:01Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/499892024-08-21T13:26:25Zcom_20.500.14352_14col_20.500.14352_15

García Merayo, María De Las Mercedes Hwang, Iksoon Núñez García, Manuel Cavalli, Ana 2023-06-20T09:35:40Z 2023-06-20T09:35:40Z 2009 0302-9743 10.1007/978-3-642-10373-5_10 https://hdl.handle.net/20.500.14352/49989 http://www.springerlink.com/content/411604n13xh4q457/fulltext.pdf?MUD=MP http://www.springerlink.com/ 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 different statistic 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 the previous conformance relation based on how a set of test is passed by the implementation. eng restricted access A Statistical Approach to Test Stochastic and Probabilistic Systems journal article