A brief introduction to THOTL

Authors:
Mercedes G. Merayo;Manuel Núñez;Ismael Rodríguez
Affiliations:
Dept. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain;Dept. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain;Dept. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain
Venue:
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Year:
2007

Citing 0
Cited 1

${\cal T}\! {\cal H} {\cal O} {\cal T}\! {\cal L}$: A Timed Extension of ${\cal H} {\cal O} {\cal T}\! {\cal L}$

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop

Quantified Score

Hi-index	0.00

Visualization

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.