Conformance testing of CORBA services using TTCN

This paper presents a formal approach to conformance testing of CORBA-based distributed services using TTCN (Tree and Tabular Combined Notation) framework. It discusses mapping of CORBA IDL to TTCN, concentrating on the obstacles and the design issues to be considered. The paper overviews the architecture of the CORBA/TTCN gateway, which acts as an intermediary between test environment and system under test (SUT). It goes through an example of test session and distinguishes the typical stages of dynamic behaviour. The results of the study indicate that TTCN framework especially facilitates testing of active service components, although conformance testing of reactive parts is also possible.