E-Prints Complutense

A Statistical Approach to Test Stochastic and Probabilistic Systems

Impacto

Descargas

Último año

García Merayo, Mercedes y Hwang, Iksoon y Nuñez García, Manuel y Cavalli, Ana (2009) A Statistical Approach to Test Stochastic and Probabilistic Systems. Formal methods and software engineering proceedings, 5885 . pp. 186-205. ISSN 0302-9743

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.

326kB

URL Oficial: http://www.springerlink.com/content/411604n13xh4q457/fulltext.pdf?MUD=MP


URLTipo de URL
http://www.springerlink.com/Editorial


Resumen

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.


Tipo de documento:Artículo
Información Adicional:

11th International Conference on Formal Engineering Methods.
Rio de Janeiro, BRAZIL. DEC 09-12, 2009.

Palabras clave:Finite-state machines; Interval estimation; Algebraic-theory; Test selection; Model; Time; Computer Science; Theory & Methods
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15545
Depositado:08 Jun 2012 08:50
Última Modificación:06 Feb 2014 10:26

Descargas en el último año

Sólo personal del repositorio: página de control del artículo