|
Título:
|
Formal testing of systems presenting soft and hard deadlines
|
|
Autores:
|
García Merayo, Mercedes ;
Núñez García, Manuel ;
Rodríguez Laguna, Ismael
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
SPRINGER-VERLAG BERLIN, 2007
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Matemáticas: Investigación operativa
,
Tipo = Sección de libro
|
|
Resumen:
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/15773/1/19.pdf
|
