Publication: A brief introduction to THOTL
Loading...
Files
Full text at PDC
Publication Date
2007
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
SPRINGER-VERLAG BERLIN
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.
Description
5th International Symposium on Automated Technology for Verification and Analysis. OCT 22-25, 2007. Tokyo, JAPAN.
UCM subjects
Unesco subjects
Keywords
Citation
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