A method for testing multi-protocol implementation under test (IUT) with a single test suite has been proposed in the literature. It tests a multi-protocol IUT in an integrated way compared to the conventional method, where single-layer test method and single-layer embedded test method are applied separately to the upper layer protocol and lower layer protocol, respectively. However, it did not consider how to generate the test cases automatically but proposed only an approach for the test method. This thesis proposes an algorithm called Multi-protocol Test Method (MPTM) for automatic test case generation based on that approach. With the MPTM, a multi-protocol IUT consisting of two protocol layers is modeled as two Finite State Machines (FSMs), and the relationships between the transitions of them are defined as a set of transition relationships, pre-execution and carried-by. The proposed algorithm is implemented and applied to a simplified TCP/IP and B-ISDN Signaling/SSCOP. The MPTM is able to test the multi-protocol IUT even though the interfaces between the protocol layers are not exposed. It also allows the same test coverage as conventional test methods with much smaller number of test cases and operations.
하나의 시험 스위트를 가지고 다중 계층 프로토콜 시험 대상 (Implementation Under Test : IUT)을 시험하는 방안이 제안되었다. [1]. 기존 방법과 비교하여 이 방법은 상위 프로토콜에 적용하는 단일 계층 시험 방법과 하위 프로토콜에 적용하는 내포 시험 방법을 조합하여 적용함으로써 다중 계층 프로토콜 시험 대상을 시험한다. 그러나 논문 [1]은 접근 방법만 제시하였을 뿐, 어떻게 시험 경우를 자동으로 도출할 것인지에 대해서는 고려하지 않고 있다. 본 논문은 논문 [1]에 기초하여 다중 계층 프로토콜 시험 경우 자동 생성 알고리즘을 제안한다. 이를 위해 시험대상 프로토콜을 두개의 FSM 으로 정의하고, 두 FSM 에 대하여 pre-execution 과 carried-by 로 구성되는 트랜지션의 수행 관계를 정의한다. 제안한 알고리즘을 구현하여 간략화한 TCP/IP 와 B-ISDN Signaling/Service Specific Connection Oriented Protocol (SSCOP)에 적용한다. 본 논문의 다중 계층 프로토콜 시험 방법은 프로토콜 사이의 인터페이스가 개방되지 않은 경우에도 시험이 가능하며, 기존 시험 방법에 비해서 적은 시험 경우로 동일한 커버리지 (coverage)를 갖는다.
