Location of Repository

An invitation to friendly testing

By David de Frutos Escrig, Luis Fernando Llana Díaz and Manuel Núñez García

Abstract

We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes ⊑fr is consistent with the conformance relation, and so we have, for instance,a ⊕b ⊑fr a ⊑fr a +b. The new theory is strongly based on De Nicola & Hennessy’s work on testing. Friendly tests are defined exactly as in their work, except that internal actions are not allowed. However, in order to obtain the desired notion of friendly testing this restriction is not enough and we also have to relax the conditions to pass a test. Thus we obtain a new testing semantics and a new preorder between processes which is strictly weaker than the relation ⊑must. Moreover, we present an alternative characterization of our new testing semantics by defining a modification of acceptance sets

Topics: Informática
Publisher: Springer
Year: 2020
DOI identifier: 10.1007/BF02946494
OAI identifier: oai:www.ucm.es:20697
Provided by: EPrints Complutense
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dx.doi.org/10.1007/BF02... (external link)
  • http://link.springer.com/conte... (external link)
  • http://eprints.ucm.es/20697/1/... (external link)
  • http://eprints.ucm.es/20697/ (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.