SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMSResearch partially supported by the Spanish MCYT project TIC2003-07848-C02-01, the Junta de Castilla-La Mancha project PAC-03-001, and the Marie Curie project MRTN-CT-2003-505121/TAROT.
Manuel A. Nunez, Ismael Rodrı́guez · Kluwer Academic Publishers eBooks · 2005
In this paper we present a formal framework to test real-time embedded systems where temporal requirements play a relevant role. First, we introduce our formal model to specify this kind of systems. It is a modification of the classical EFSM formalism where actions will be attached with a temporal constraint. This constraint expresses the maximal and/or minimal time this action should take during its execution in the current configuration. Then, we use this formalism to construct models that represent the set of temporal requirements in a system. In turn, they are automatically obtained from the temporal requirements defined for each component in the system. Tests for checking these requirements are defined and a formal mechanism to apply them to real systems is described.