Conformance testing with labelled transition systems: Implementation relations and test generation

Computer Networks

Volumn 29, Issue 1, 1996, Pages 49-79

  Tretmans, Jan ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Communication protocols; Conformance; Conformance testing; Formal description techniques; Test case generation; Transition systems

Indexed keywords

EID: 0002440785     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(96)00017-7     Document Type: Article

References (5)

1. S. Abramsky, Observational equivalence as a testing equivalence, Theoret. Comput. Sci. 53 (3) (1987) 225-241.
2. L. Aceto, Action Refinement in Process Algebras (Cambridge University Press, (Cambridge, MA, 1992).
3. J. Alilovic-Curgus and S.T. Vuong, A metric based theory of test selection and coverage, in: A. Danthine, G. Leduc and P. Wolper, eds., Protocol Specification, Testing and Verification XIII (North-Holland, Amsterdam, 1993).
4. R. Alderden, COOPER, the compositional construction of a canonical tester, in: S.T. Vuong, ed., FORTE'89 (North-Holland, Amsterdam, 1990) 13-17.
5. E. Brinksma, R. Alderden, R. Langerak, J. van de Lagemaat and J. Tretmans, A formal approach to conformance testing, in: J. de Meer, L. Mackert and W. Effelsberg, eds., Proc. 2nd Internat. Workshop on Protocol Test Systems (North-Holland, Amsterdam, 1990) 349-363; also: Memorandum INF-89-45, University of Twente, The Netherlands.