Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA Disculpen las molestias.
 

THOTL: A timed extension of HOTL

Simple item page
dc.book.titleTesting of Software and Communicating Systems, Proceedings
dc.contributor.authorGarcía Merayo, María De Las Mercedes
dc.contributor.authorNúñez García, Manuel
dc.contributor.authorRodríguez Laguna, Ismael
dc.date.accessioned2023-06-20T13:38:11Z
dc.date.available2023-06-20T13:38:11Z
dc.date.issued2008
dc.descriptionInternational Conference on Testomg of Software and Communicating Systems. JUN 10-13, 2008. Tokyo, JAPAN.
dc.description.abstractTHOTL 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.
dc.description.departmentSección Deptal. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.refereedTRUE
dc.description.sponsorshipMEC
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/15742
dc.identifier.isbn978-3-540-68514-2
dc.identifier.officialurlhttp://www.springerlink.com/content/kv31133106448l83/fulltext.pdf
dc.identifier.relatedurlhttp://www.springerlink.com/
dc.identifier.urihttps://hdl.handle.net/20.500.14352/53126
dc.issue.number5047
dc.language.isoeng
dc.page.final102
dc.page.initial86
dc.publication.placeBerlín
dc.publisherSPRINGER-VERLAG BERLIN
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.relation.projectIDTIN2006-15578-C02-01
dc.relation.projectIDMRTN-CT-2003-505121/TAROT
dc.rights.accessRightsrestricted access
dc.subject.cdu519.8
dc.subject.keywordFinite-state machines
dc.subject.keywordSystems
dc.subject.keywordAutomata
dc.subject.keywordHypotheses
dc.subject.keywordLogic
dc.subject.keywordComputer Science
dc.subject.keywordTheory & Methods
dc.subject.ucmInvestigación operativa (Matemáticas)
dc.subject.unesco1207 Investigación Operativa
dc.titleTHOTL: A timed extension of HOTL
dc.typebook part
dcterms.referencesAlur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994) Batth, S.S., Rodrigues Vieira, E., Cavalli, A., Uyar, M.Ü.: Specification of timed EFSM fault models in SDL. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 50–65. Springer, Heidelberg (2007) Bayse, E., Cavalli, A., Núñez, M., Zaïdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks 48(2), 247–266 (2005) Bosik, B.S., Uyar, M.Ü.: Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems 22, 7–33 (1991) Brandán Briones, L., Brinksma, E.: Testing real-time multi input-output systems. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 264–279. Springer, Heidelberg (2005) Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 187–195. Springer, Heidelberg (2001) Cardell-Oliver, R.: Conformance tests for real-time systems with timed automata specifications. Formal Aspects of Computing 12(5), 350–371 (2000) Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000) En-Nouaary, A., Dssouli, R.: A guided method for testing timed input output automata. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 211–225. Springer, Heidelberg (2003) Fecko, M.A., Uyar, M.Ü., Duale, A.Y., Amer, P.D.: A technique to generate feasible tests for communications systems with multiple timers. IEEE/ACM Transactions on Networking 11(5), 796–809 (2003) Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.: Generating test cases for a timed I/O automaton model. In: 12th Int. Workshop on Testing of Communicating Systems, IWTCS 1999, pp. 197–214. Kluwer Academic Publishers, Dordrecht (1999) Huang, G.-D., Wang, F.: Automatic test case generation with region-related coverage annotations for real-time systems. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, pp. 144–158. Springer, Heidelberg (2005) Krichen, M., Tripakis, S.: An expressive and implementable formal framework for testing real-time systems. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 209–225. Springer, Heidelberg (2005) Ladani, B.T., Alcalde, B., Cavalli, A.R.: Passive testing - a constrained invariant checking approach. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 9–22. Springer, Heidelberg (2005) Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE 84(8), 1090–1123 (1996) Merayo, M.G., Núñez, M., Rodríguez, I.: A brief introduction to . In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 501–510. Springer, Heidelberg (2007) Merayo, M.G., Núñez, M., Rodríguez, I.: Formal testing from timed finite state machines. Computer Networks 52(2), 432–460 (2008) Núñez, M., Rodríguez, I.: Towards testing stochastic timed systems. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 335–350. Springer, Heidelberg (2003) Petrenko, A.: Fault model-driven test derivation from finite state models: Annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 196–205. Springer, Heidelberg (2001) Rodríguez, I., Merayo, M.G., Núñez, M.: A logic for assessing sets of heterogeneous testing hypotheses. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 39–54. Springer, Heidelberg (2006) Rodríguez, I., Merayo, M.G., Núñez, M.: : Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming 74(2), 57–93 (2008) Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing timed automata. Theoretical Computer Science 254(1-2), 225–257 (2001); Previously appeared as Technical Report CTIT-97-17, University of Twente (1997)
dspace.entity.typePublication
relation.isAuthorOfPublication28ca46b8-d1eb-42e6-a6e2-f31b193b055b
relation.isAuthorOfPublication26825d32-1d0a-4bbb-b145-e014e22f1a88
relation.isAuthorOfPublication28429d40-53cb-4bb3-a3f6-82ec557a34ed
relation.isAuthorOfPublication.latestForDiscovery26825d32-1d0a-4bbb-b145-e014e22f1a88

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
17.pdf
Size:
297.54 KB
Format:
Adobe Portable Document Format
Download

Collections

Secciones de libros