Action refinement in conformance testing

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 81-96

  Van Der Bijl, Machiel ^a   Rensink, Arend ^a   Tretmans, Jan ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; ERROR CORRECTION; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; CONCRETES; MODEL CHECKING;

ABSTRACT MODELS; ACTION REFINEMENT; CONFORMANCE TESTING; TEST CASES; ABSTRACT MODELING; IMPLEMENTATION RELATION; LEVEL OF DETAIL; MODEL BASED TESTING; REFINED MODEL; SYSTEM UNDER TEST;

COMPUTER SCIENCE; TESTING;

EID: 24944449436     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11430230_7     Document Type: Conference Paper

References (7)

1. G. Bernot, M. G. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, (November), 1991.
2. R. Gorrieri and A. Rensink. Action refinement. In Handbook of Process Algebra, chapter 16, pages 1047-1147. Elsevier, 2001.
3. A. Petrenko, G. v. Bochmann, and R. Dssouli. Conformance relations and test derivation. In IWPTSVI, pages 157-178. North-Holland, 1994.
4. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3): 103-120, 1996.
5. M. van der Bijl, A. Rensink, and J. Tretmans. Action refinement roadmap. Technical report, University of Twente, 2004. URL: http://www.cs.utwente.nl/ ~vdbijl/papers.
6. M. van der Bijl, A. Rensink, and J. Tretmans. Compositional testing with ioco. In FATES 2003, volume 2931 of LNCS, pages 86-100. Springer, 2004.
7. M. van der Bijl, A. Rensink, and J. Tretmans. Action refinement in conformance testing. Technical report, University of Twente, 2005. URL: http://www.cs.utwente.nl/~vdbijl/papers.