RT Journal Article
T1 A formal framework to test soft and hard deadlines in timed systems
A1 García Merayo, María De Las Mercedes
A1 Núñez García, Manuel
A1 Rodríguez Laguna, Ismael
AB This paper introduces a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must always be met on time, soft deadlines can be sometimes met in a different time, usually greater, from the specified one. It is this characteristic (to formally definetextitsometimes) that produces several reasonable alternatives to define appropriate implementation relations, that is, relations to decide whether an implementation is correct with respect to a specification. In addition to introducing these relations, the paper also presents a formal testing framework to test implementations and provides an algorithm to derive sound and complete test suites with respect to the implementation relations previously defined. That is, an implementation conforms to a specification if and only if the implementation successfully passes all the tests belonging to the suite derived from the specification.
PB Wiley-Blackwell
SN 0960-0833
YR 2012
FD 2012
LK https://hdl.handle.net/20.500.14352/42467
UL https://hdl.handle.net/20.500.14352/42467
NO Merayo, Mercedes G., et al. «A Formal Framework to Test Soft and Hard Deadlines in Timed Systems». Software Testing, Verification and Reliability, vol. 22, n.o 8, diciembre de 2012, pp. 583-608. DOI.org (Crossref), https://doi.org/10.1002/stvr.448.
NO Ministerio de Ciencia e Innovación (España)
DS Docta Complutense
RD 6 abr 2025