Journal of KIISE:Computer Systems and Theory (한국정보과학회논문지:시스템및이론)
- Volume 26 Issue 11
- /
- Pages.1414-1428
- /
- 1999
- /
- 1229-683X(pISSN)
Interoperability Test Suite DErivation for the TCP
TCP 상호운용성 시험스위트의 도출
- Seol, Sun-Ok (Dept. of Engineering, Graduate School of Information and Communication University) ;
- Kim, Myeong-Cheol (Dept. of Engineering, Graduate School of Information and Communication University) ;
-
Gang, Seong-Won
;
- Jin, Byeong-Mun ;
- Hyeon, Sun
- 설순옥 (한국정보통신대학원대학교 공학부) ;
- 김명철 (한국정보통신대학원대학교 공학부) ;
-
강성원
(한국통신연구개발본부 통신망연구소)
;
- 진병문 (한국전자통신연구원 표준연구센터 연구원) ;
- 현순 (한국정보통신대학원 공학부)
- Published : 1999.11.01
Abstract
ATM/B-ISDN 신호 프로토콜과 같은 통신 프로토콜의 상호운용성을 시험하기 위한 시험경우를 생성하는 알고리즘이 제안되었다 1]. 현재까지 상호운용성 시험경우 도출을 자동화하거나 이에 대한 커버리지를 분석한 경우는 없다. 본 논문은 1]에서 제안한 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜에 적용하고 결과를 분석한다. 이 과정에서 (1) TCP 연결설정 프로토콜의 3방향 핸드 쉐이킹 부분을 다루지 못했던 기존의 알고리즘을 개선하고, (2) 개선된 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜의 상호운용성 시험경우를 도출하고, (3) 생성된 상호운용성 시험경우를 트랜지션 커버리지 관점에서 분석하고, (4) 향상된 트랜지션 커버리지를 얻기 위하여 알고리즘 확장 방안을 제시한다.Abstract A test derivation method suitable for testing interoperability for the class of communication protocols like the ATM/B-ISDN signaling protocol was proposed 1]. Up to now, there is no work on automating derivation of the interoperability test suite and analyzing its coverage. In this paper, we implement the algorithm proposed by 1], apply it to the Transmission Control Protocol (TCP), and analyze its results. In this process, we (1) improve the algorithm that is not applicable to the TCPs three-way handshaking, (2) implement the improved algorithm as a program and derive an interoperability test suite automatically from a given pair of TCP FSMs, (3) analyze generated interoperability test suite in view of transition coverage, and (4) present a method in order to extend the algorithm for better transition coverage.
Keywords