Introducing friendly testing

We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes v fr is consistent with the conformance relation, and so we have, for instance, a \Phi b v fr a v fr a + b. The new theory is strongly based on De Nicola & Hennessy...

Descripción completa

Detalles Bibliográficos
Autores: Llana Díaz, Luis Fernando, Frutos Escrig, David De, Núñez García, Manuel
Tipo de recurso: capítulo de libro
Fecha de publicación:1997
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/60662
Acceso en línea:https://hdl.handle.net/20.500.14352/60662
Access Level:acceso abierto
Palabra clave:004
Informática (Informática)
1203.17 Informática
id ES_524f166c1dccf486ef6fd2af69769593
oai_identifier_str oai:docta.ucm.es:20.500.14352/60662
network_acronym_str ES
network_name_str España
repository_id_str
spelling Introducing friendly testingLlana Díaz, Luis FernandoFrutos Escrig, David DeNúñez García, Manuel004Informática (Informática)1203.17 InformáticaWe present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes v fr is consistent with the conformance relation, and so we have, for instance, a \Phi b v fr a v fr a + b. The new theory is strongly based on De Nicola & Hennessy's work on testing, and the structure of the paper closely follows that of Hennessy's book on the subject. Friendly tests are defined exactly as in his famous book, except that internal actions are not owed. However, this restriction is not enough and we also have to relax the conditions to pass a test in order to obtain the desired notion of friendly testing. Thus we obtain a new testing semantics and a new preorder between processes which is strictly weaker than the relation vmust . As a consequence, a fully abstract denotational semantics can be obtained as a quotient algebra of the corresponding construction for the must semantics, and the addition to the complete axiomatization of the latter of a single conformance axiom, gives us a complete axiomatization of our friendly testing semantics.Univ. VigoFernández Iglesias, Manuel J.Llamas Nistal, MartínPazos Arias, José JuanUniversidad Complutense de Madrid19971997-01-0119971997-01-01book parthttp://purl.org/coar/resource_type/c_3248info:eu-repo/semantics/bookPartapplication/pdfhttps://hdl.handle.net/20.500.14352/60662reponame: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/606622026-06-02T12:44:21Z
dc.title.none.fl_str_mv Introducing friendly testing
title Introducing friendly testing
spellingShingle Introducing friendly testing
Llana Díaz, Luis Fernando
004
Informática (Informática)
1203.17 Informática
title_short Introducing friendly testing
title_full Introducing friendly testing
title_fullStr Introducing friendly testing
title_full_unstemmed Introducing friendly testing
title_sort Introducing friendly testing
dc.creator.none.fl_str_mv Llana Díaz, Luis Fernando
Frutos Escrig, David De
Núñez García, Manuel
author Llana Díaz, Luis Fernando
author_facet Llana Díaz, Luis Fernando
Frutos Escrig, David De
Núñez García, Manuel
author_role author
author2 Frutos Escrig, David De
Núñez García, Manuel
author2_role author
author
dc.contributor.none.fl_str_mv Fernández Iglesias, Manuel J.
Llamas Nistal, Martín
Pazos Arias, José Juan
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004
Informática (Informática)
1203.17 Informática
topic 004
Informática (Informática)
1203.17 Informática
description We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes v fr is consistent with the conformance relation, and so we have, for instance, a \Phi b v fr a v fr a + b. The new theory is strongly based on De Nicola & Hennessy's work on testing, and the structure of the paper closely follows that of Hennessy's book on the subject. Friendly tests are defined exactly as in his famous book, except that internal actions are not owed. However, this restriction is not enough and we also have to relax the conditions to pass a test in order to obtain the desired notion of friendly testing. Thus we obtain a new testing semantics and a new preorder between processes which is strictly weaker than the relation vmust . As a consequence, a fully abstract denotational semantics can be obtained as a quotient algebra of the corresponding construction for the must semantics, and the addition to the complete axiomatization of the latter of a single conformance axiom, gives us a complete axiomatization of our friendly testing semantics.
publishDate 1997
dc.date.none.fl_str_mv 1997
1997-01-01
1997
1997-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/60662
url https://hdl.handle.net/20.500.14352/60662
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 Univ. Vigo
publisher.none.fl_str_mv Univ. Vigo
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_ 1869408023226613760
score 15,300719

Similares en LA Referencia