Universidad Complutense de Madrid
E-Prints Complutense

Testing conformance on stochastic stream X-machines



Último año

García Merayo, Mercedes y Núñez García, Manuel (2007) Testing conformance on stochastic stream X-machines. In Software Engineering and Formal Methods : 5th International Conference, SEFM 2007. IEEE COMPUTER SOC, LOS ALAMITOS, 227-236 . ISBN 978-0-7695-2884-7

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


URL Oficial: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4343939


Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test set that, under certain conditions, detects all the faults of an implementation. In this paper we present a formal framework to test temporal behaviors in systems where temporal aspects are critical. Temporal requirements are expressed by means of random variables and affect the duration of actions. Implementation relations are presented as well as a method to determine the conformance of an implementation with respect to a specification by applying a test set.

Tipo de documento:Sección de libro
Información Adicional:

5th IEEE International Conference on Software Engineering and Formal Methods. SEP 12-14, 2007. London, ENGLAND.

Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15801
Depositado:02 Jul 2012 11:22
Última Modificación:02 Jul 2012 11:22

Descargas en el último año

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