Universidad Complutense de Madrid
E-Prints Complutense

THOTL: A timed extension of HOTL

Impacto

Downloads

Downloads per month over past year



García Merayo, Mercedes and Núñez García, Manuel and 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 Repository staff only

304kB

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


URLURL Type
http://www.springerlink.com/Publisher


Abstract

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.


Item Type:Book Section
Additional Information:

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

Uncontrolled Keywords:Finite-state machines; Systems; Automata; Hypotheses; Logic; Computer Science; Theory & Methods
Subjects:Sciences > Mathematics > Operations research
ID Code:15742
Deposited On:25 Jun 2012 07:35
Last Modified:06 Feb 2014 10:30

Origin of downloads

Repository Staff Only: item control page