RT Journal Article
T1 An invitation to friendly testing
A1 Frutos Escrig, David De
A1 Llana Díaz, Luis Fernando
A1 Núñez García, Manuel
AB 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.
PB Springer
SN 1000-9000
YR 1998
FD 1998
LK https://hdl.handle.net/20.500.14352/58388
UL https://hdl.handle.net/20.500.14352/58388
LA eng
NO Frutos Escrig, D., Llana Díaz, L. F. & Núñez García, M. «An Invitation to Friendly Testing». Journal of Computer Science and Technology, vol. 13, n.o 6, noviembre de 1998, pp. 531-45. DOI.org (Crossref), https://doi.org/10.1007/BF02946494.
NO Proceedings of the International Summer School and Workshop on Formal Models of Programming and their Applications (Beijing, 1997)
NO Comisión Interministerial de Ciencia y Tecnología (España)
DS Docta Complutense
RD 24 ene 2026