Universidad Complutense de Madrid
E-Prints Complutense

An invitation to friendly testing

Impacto

Downloads

Downloads per month over past year

Frutos Escrig, David de and Llana Díaz, Luis Fernando and Núñez García, Manuel (1998) An invitation to friendly testing. Journal of computer science and technology, 13 (6). pp. 531-545. ISSN 1000-9000

[img] PDF
Restringido a Repository staff only

1MB

Official URL: http://link.springer.com/content/pdf/10.1007%2FBF02946494


URLURL Type
http://www.springer.com/Publisher


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.


Item Type:Article
Additional Information:

Proceedings of the International Summer School and Workshop on Formal Models of Programming and their Applications (Beijing, 1997)

Uncontrolled Keywords:Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) ; semantics
Subjects:Sciences > Computer science
ID Code:20697
Deposited On:08 Apr 2013 11:45
Last Modified:10 Aug 2018 08:24

Origin of downloads

Repository Staff Only: item control page