Complutense University Library

A brief introduction to THOTL

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael A brief introduction to THOTL. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (4762 ). SPRINGER-VERLAG BERLIN, Berlín, pp. 501-510. ISBN 978-3-540-75595-1

[img] PDF
Restricted to Repository staff only until 31 December 2020.

502kB

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

View download statistics for this eprint

==>>> Export to other formats

Abstract

In this paper we extend HOTL (Hypotheses and Observations
Testing Logic) to provide a formal framework to test timed systems. The main idea underlying HOTL is to infer whether a set of observations (i.e., results of test applications) allows to claim that the IUT conforms to the specification if a specific set of hypotheses is assumed. In this paper
we adapt HOTL to cope with the inclusion of time issues. In addition, we show the soundness and completeness of the new framework, that we call THOTL, with respect to a general notion of timed conformance.


Item Type:Book Section
Additional Information:

5th International Symposium on Automated Technology for Verification and Analysis. OCT 22-25, 2007. Tokyo, JAPAN.

Subjects:Sciences > Mathematics > Operations research
ID Code:15797
References:

Merayo, M.G., Núñez, M., Rodríguez, I.: THOTL: A timed extension of HOTL (2007), Available at http://kimba.mat.ucm.es/testing/papers/thotl.pdf

Rodríguez, I., Merayo, M.G., Núñez, M.: HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming (in press, 2007) http://dx.doi.org/10.1016/j.jlap.2007.03.002

Deposited On:29 Jun 2012 08:33
Last Modified:06 Feb 2014 10:31

Repository Staff Only: item control page