OSI Conformance Testing Methodology and TTCN