E-Prints Complutense

THOTL: A timed extension of HOTL

Impacto

Descargas

Último año



García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2008) THOTL: A timed extension of HOTL. In Testing of Software and Communicating Systems, Proceedings. Lecture Notes in Computer Science (5047 ). SPRINGER-VERLAG BERLIN, Berlín, 86-102 . ISBN 978-3-540-68514-2

[img] PDF
Restringido a Sólo personal autorizado del repositorio

304kB

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


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


Resumen

THOTL represents a conservative extension of HOTL (Hypotheses and Observations Testing Logic) to deal with systems where time plays a fundamental role. We adapt some of the HOTL rules to cope with the new framework. In addition, we introduce several specific hypotheses and rules to appropriately express time assumptions. We provide
a correctness result of THOTL with respect to a general notion of timed conformance.


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

International Conference on Testomg of Software and Communicating Systems. JUN 10-13, 2008. Tokyo, JAPAN.

Palabras clave:Finite-state machines; Systems; Automata; Hypotheses; Logic; Computer Science; Theory & Methods
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15742
Depositado:25 Jun 2012 07:35
Última Modificación:06 Feb 2014 10:30

Descargas en el último año

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