Formal testing from timed finite state machines



Downloads per month over past year

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2008) Formal testing from timed finite state machines. Computer Networks, 52 (2). pp. 432-460. ISSN 1389-1286

[thumbnail of 14.pdf] PDF
Restringido a Repository staff only


Official URL:


In this paper we present a formal methodology to test both the functional and temporal behaviors in systems where
temporal aspects are critical. We extend the classical finite state machines model with features to represent timed systems. Our formalism allows three different ways to express the timing requirements of systems. Specifically, we consider that time requirements can be expressed either by means of fix time values, by using random variables, or by considering time intervals. Different implementation relations, depending on both the interpretation of time and on the non-determinism appearing in systems, are presented and related. We also study how test cases are defined and applied to implementations. Test derivation algorithms, producing sound and complete test suites, are also presented. That is, by deriving these test suites we
relate the different notions of passing tests and the different implementation relations. In other words, for a given correctness criterion, a system represents an appropriate implementation of a given model if and only if the system successfully passes all the test belonging to the derived test suite.

Item Type:Article
Uncontrolled Keywords:Conformance testing; Formal methods; Timed systems ;Systems; Automata
Subjects:Sciences > Mathematics > Operations research
ID Code:15681
Deposited On:19 Jun 2012 09:02
Last Modified:22 Aug 2018 11:29

Origin of downloads

Repository Staff Only: item control page