본 논문에서는 TTCN-3로 작성된 네트워크 프로토콜 테스트 케이스를 결함 트리를 이용하여 자동 확장하는 방법론을 제안한다. TTCN-3로 작성된 네트워크 프로토콜 테스트 케이스를 테스트 커버리지를 늘리고 시스템 안정성을 폭넓게 테스트 하기 위하여 테스트 케이스를 확장할 필요가 있다. 이를 효율적으로 진행하기 위하여 본 논문에서는 결함 트리를 이용한 자동 확장 방법을 제안한다. 제안 방법론은 TTCN-3로 기술된 테스트 케이스를 결함 트리로 모델링 하는 단계와 도출 된 모델을 이용하여 테스트 케이스를 확장하는 단계 그리고 테스트 케이스의 수를 최적화 하는 단계로 구성된다. 제안 방법론의 효과를 확인하기 위하여 TTCN-3로 기술된 SIP 프로토콜 테스트 케이스에 적용을 해본 결과 테스트 케이스의 수는 11.9배 확장되었고, 구문 커버리지의 경우 1.3배, MC/DC 커버리지의 경우 2.8배 증가하였다.
In this paper we propose a method that can automatically extend test cases of network protocol based on TTCN-3 with fault tree analysis. In order to increase test coverage and verify the reliability of a system, extension of test cases is necessary. We suggest an automatic extension method of test cases based on TTCN-3 using fault tree analysis, because it is not practical and efficient to extend test cases manually. The proposed method consists of three steps. The first step is to transform the initial test cases into fault tree model. The second step is to extend the test cases using fault tree. The last step is the method of semi-optimization of the number of test case. To verify the proposed method we apply it to SIP protocol conformance test cases. As a result, the test cases are increased 11.9 times. The statement test coverage is increased 1.3 times and the MC/DC coverage is also increased 2.8 times.
