Standardization of formal methods in conformance testing of communication protocols

Computer Networks

Volumn 29, Issue 1, 1996, Pages 3-14

  Cavalli, Ana R ^a   Favreau, Jean Philippe ^b   Phalippou, Marc ^c  

^a INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

^b NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^c ORANGE LABS   (France)

Author keywords

Conformance testing; Formal description techniques; Standardization; Testing theory

Indexed keywords

EID: 0004016010     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(96)00015-3     Document Type: Article

References (5)

1. A.V. Aho, A.T. Dahbura, D. Lee and Ü. Uyar, An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours, in: S. Aggarwal and K. Sabnani, eds., Protocol Specification, Testing and Verification VIII (North-Holland, Amsterdam, 1988) 75-86.
2. B. Baumgarten, A. Giessler and C. Paule, The CAB protocol - A TTCN test suite generation case study. Tech. Rep. GMD 731, Darmstadt, 1993.
3. G.V. Bochmann, A. Das, R. Dssouli, M. Dubuc, A. Ghedamsi and G. Luo, Fault models in testing, in: J. Kroon, R. Heijink and E. Brinksma, eds., Proc. 4th Internat. Workshop on Protocol Test Systems (North-Holland, Amsterdam, 1992) 17-30.
4. A.R. Cavalli, S.U. Kim and P. Maigron, Automated protocol conformance test generation based on formal methods for LOTOS specifications, in: G.V. Bochmann, R. Dssouli and A. Das, eds., Protocol Test Systems, V (North-Holland, Amsterdam, 1992).
5. A.R. Cavalli, S.U. Kim and P. Maigron, Improving conformance testing for LOTOS, in: R.L. Tenney, P.D. Amer and M.U. Uyar, eds., Proc. FORTE VI (North-Holland, Amsterdam, 1993) 367-381.