RT Book, Section
T1 Formal testing of systems presenting soft and hard deadlines
A1 García Merayo, María De Las Mercedes
A1 Núñez García, Manuel
A1 Rodríguez Laguna, Ismael
A2 Arbab, F
A2 Sirjani, M
AB We present a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must be always met on time, soft deadlines can be sometimes met in a different time, usually higher, from the specified one. It is this characteristic (to formally define sometimes) what produces several reasonable alternatives to define appropriate implementation relations, that is, relations to decide wether an implementation is correct with respect to a specification. In addition to introduce these relations, we define a testing framework to test implementations.
PB SPRINGER-VERLAG BERLIN
SN 978-3-540-75697-2
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/53128
UL https://hdl.handle.net/20.500.14352/53128
LA eng
NO International Symposium on Fundamentals of Software Engineering. APR 17-19, 2007. Tehran, IRAN.
NO MEC
NO Junta de Castilla-La Mancha
NO Comunidad de Madrid
NO Marie Curie
DS Docta Complutense
RD 25 abr 2025