E-Prints Complutense

Formal testing of systems presenting soft and hard deadlines

Impacto

Descargas

Último año

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) Formal testing of systems presenting soft and hard deadlines. In International Symposium on Fundamentals of Software Engineering, Proceedings. Lecture Notes in Computer Science (4767). SPRINGER-VERLAG BERLIN, Berlín, pp. 160-174. ISBN 978-3-540-75697-2

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.

502kB

URL Oficial: http://www.springerlink.com/content/q755353l50466168/fulltext.pdf


URLTipo de URL
http://www.springerlink.com/Editorial


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.


Tipo de documento:Sección de libro
Información Adicional:

International Symposium on Fundamentals of Software Engineering. APR 17-19, 2007. Tehran, IRAN.

Palabras clave:Probabilistic processes; Timed systems; Process algebra; Automata; EFSMS; Computer Science; Theory & Methods
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15773
Depositado:27 Jun 2012 08:26
Última Modificación:06 Feb 2014 10:31

Descargas en el último año

Sólo personal del repositorio: página de control del artículo