Testing conformance on stochastic stream X-machines

Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test set that, under certain conditions, detects all the faults of an implementation. In t...

Descripción completa

Detalles Bibliográficos
Autores: García Merayo, María De Las Mercedes, Núñez García, Manuel
Tipo de recurso: capítulo de libro
Fecha de publicación:2007
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/53133
Acceso en línea:https://hdl.handle.net/20.500.14352/53133
Access Level:acceso abierto
Palabra clave:519.8
Investigación operativa (Matemáticas)
1207 Investigación Operativa
id ES_21c8ae9221fa7eb5835bdd1db3ec71fc
oai_identifier_str oai:docta.ucm.es:20.500.14352/53133
network_acronym_str ES
network_name_str España
repository_id_str
spelling Testing conformance on stochastic stream X-machinesGarcía Merayo, María De Las MercedesNúñez García, Manuel519.8Investigación operativa (Matemáticas)1207 Investigación OperativaStream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test set that, under certain conditions, detects all the faults of an implementation. In this paper we present a formal framework to test temporal behaviors in systems where temporal aspects are critical. Temporal requirements are expressed by means of random variables and affect the duration of actions. Implementation relations are presented as well as a method to determine the conformance of an implementation with respect to a specification by applying a test set.IEEE COMPUTER SOCHinchey, MMargaria, TUniversidad Complutense de Madrid20072007-01-0120072007-01-01book parthttp://purl.org/coar/resource_type/c_3248info:eu-repo/semantics/bookPartapplication/pdfhttps://hdl.handle.net/20.500.14352/53133reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/531332026-06-02T12:44:21Z
dc.title.none.fl_str_mv Testing conformance on stochastic stream X-machines
title Testing conformance on stochastic stream X-machines
spellingShingle Testing conformance on stochastic stream X-machines
García Merayo, María De Las Mercedes
519.8
Investigación operativa (Matemáticas)
1207 Investigación Operativa
title_short Testing conformance on stochastic stream X-machines
title_full Testing conformance on stochastic stream X-machines
title_fullStr Testing conformance on stochastic stream X-machines
title_full_unstemmed Testing conformance on stochastic stream X-machines
title_sort Testing conformance on stochastic stream X-machines
dc.creator.none.fl_str_mv García Merayo, María De Las Mercedes
Núñez García, Manuel
author García Merayo, María De Las Mercedes
author_facet García Merayo, María De Las Mercedes
Núñez García, Manuel
author_role author
author2 Núñez García, Manuel
author2_role author
dc.contributor.none.fl_str_mv Hinchey, M
Margaria, T
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 519.8
Investigación operativa (Matemáticas)
1207 Investigación Operativa
topic 519.8
Investigación operativa (Matemáticas)
1207 Investigación Operativa
description Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test set that, under certain conditions, detects all the faults of an implementation. In this paper we present a formal framework to test temporal behaviors in systems where temporal aspects are critical. Temporal requirements are expressed by means of random variables and affect the duration of actions. Implementation relations are presented as well as a method to determine the conformance of an implementation with respect to a specification by applying a test set.
publishDate 2007
dc.date.none.fl_str_mv 2007
2007-01-01
2007
2007-01-01
dc.type.none.fl_str_mv book part
http://purl.org/coar/resource_type/c_3248
dc.type.openaire.fl_str_mv info:eu-repo/semantics/bookPart
format bookPart
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/53133
url https://hdl.handle.net/20.500.14352/53133
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv IEEE COMPUTER SOC
publisher.none.fl_str_mv IEEE COMPUTER SOC
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869404538702659584
score 15,300724

Similares en LA Referencia