RT Book, Section
T1 A brief introduction to THOTL
A1 García Merayo, María De Las Mercedes
A1 Núñez García, Manuel
A1 Rodríguez Laguna, Ismael
A2 Namjoshi, KS
A2 Yoneda, T
A2 Higashino, T
A2 Okamura, Y
AB In this paper we extend HOTL (Hypotheses and ObservationsTesting 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 paperwe 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.
PB SPRINGER-VERLAG BERLIN
SN 978-3-540-75595-1
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/53131
UL https://hdl.handle.net/20.500.14352/53131
LA eng
NO 5th International Symposium on Automated Technology for Verification and Analysis. OCT 22-25, 2007. Tokyo, JAPAN.
NO MEC
NO Marie Curie
DS Docta Complutense
RD 10 abr 2025