Universidad Complutense de Madrid
E-Prints Complutense

Testing finite state machines presenting stochastic time and timeouts



Último año

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) Testing finite state machines presenting stochastic time and timeouts. In Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer Science (4748). SPRINGER-VERLAG BERLIN, Berlín, pp. 97-111. ISBN 978-3-540-75210-3

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


URL Oficial: http://www.springerlink.com/content/mj6x036764445840/fulltext.pdf

URLTipo de URL
http://www.springerlink.com/SIN ESPECIFICAR


In this paper we define a formal framework to test implementations that can be represented by the class of finite state machines introduced in [10]. First, we introduce an appropriate notion of test. Next, we provide an algorithm to derive test suites from specifications such that the constructed test suites are sound and complete with respect to two of the conformance relations introduced in [10]. In fact, the current paper together with [10] constitute a complete formal theory to specify and test the class of systems covered by the before mentioned stochastic finite state machines.

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

4th European Performance Engineering Workshop. SEP 27-28, 2007. Berlin, GERMANY.

Palabras clave:Systems; Automata
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15800
Depositado:02 Jul 2012 11:31
Última Modificación:06 Feb 2014 10:31

Descargas en el último año

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