TTCN: Towards a formal semantics and validation of test suites

Computer Networks

Volumn 29, Issue 1, 1996, Pages 15-47

  Kristoffersen, Finn ^a   Walter, Thomas ^b  

^a TDC AS   (Denmark)

^b ETH ZURICH   (Switzerland)

Author keywords

Communication protocols; Conformance testing; Formal description techniques

Indexed keywords

EID: 0007848011     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(96)00016-5     Document Type: Article

References (5)

1. U. Bär and J. Schneider, Automated validation of TTCN test suites, in: Proc. PSTV XII (North-Holland, Amsterdam, 1992).
2. J. Bergstra and J. Klop, Algebra of communicating processes with abstraction, Theoret. Comput. Sci. 37 (1985).
3. M. Broy, Towards a formal foundation of the specification and description language SDL, Formal Aspects Comput. (1991).
4. S. Chanson and Q. Li, On inconclusive verdict in conformance testing, in: Proc. PTS V (North-Holland, Amsterdam, 1992).
5. M. Dubuc, G. Bochmann, O. Bellal and F. Saba, Translation from TTCN to LOTOS and the validation of test cases, in: Proc. FORTE '90 (North-Holland, Amsterdam, 1991).