멀티파티 시험을 위한 TTCN의 확장 및 시험 적용

개방형 분산 시스템하에서, OSI 복수 프로토콜의 구현제품들은 복수 시험 방법을 이용하여 표준 프로토콜에 적합한 지를 시험해야 한다. 이에 표준 시험 표기 기법인 TTCN도 복수 시험 구조를 갖는 프로토콜의 시험 Suite를 작성할 수 있도록 병렬성 의미를 부가하여 확장해야 한다. 우리는 복수 시험 방법에 맞게 확장한 TTCN을 TTCN*라고 정의하고, TTCN*의 병렬성과 상호 작용 개념을 제시하며, 트랜잭션 처리 프로토콜에 대하여 TTCN*로 실제 시험 Suite 기술하여 시험 적용한다.