한국정보과학회논문지:정보통신 (Journal of KIISE:Information Networking)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

SDL 도구를 이용한 WTP 프로토콜의 구현 및 시험

Implementation and Testing of the WTP Protocol using SDL Tools

  • 이해동 (한국전자통신연구원 AAA정보보호연구팀 연구원) ;
  • 정호원 (경북대학교 컴퓨터과학과) ;
  • 원유재 (안철수연구소 IA 시큐리티) ;
  • 임경식 (경북대학교 컴퓨터과학과)
  • 발행 : 2001.09.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 논문에서는 SDT를 이용하여, WAP 포럼에서 제안한 WTP 프로토콜을 설계, 검증 및 구현하였다. 이를 위하여 무선 트랜잭션 프로토콜을 형식 명세 언어인 SDL로 모델링하였으며, UDP 플랫폼상에서 동작하는 무선 트랜잭션 프로토콜 소프트웨어를 생성하기 위한 환경함수를 설계 및 구현하였다. 또한, 무선 트랜잭션 프로토콜 서비스를 사용하여 통신 응용 프로그램을 작성할 수 있도록 개발 환경을 제공하기 위해 응용프로그래밍 인터페이스를 설계하였다. 그리고 시험 도구인 ITEX를 이용하여 구현된 프로토콜이 규격에 일치하여 동작하는지 검사하는 적합성 시험을 수행하였다. 이를 위하여 시험 언어인 TTCN으로 추상적 시험 스위트를 작성하였고 시험 언어 컴파일러를 이용하여 실행 가능한 시험 스위트를 생성하였다.

In this paper, we design, validate and implement WTP(Wireless Transaction Protocol) using SDT(SDL Design Tool). We do modeling WTP protocol by SDL(Specification and Description Language), design and implement the environment function for the interface between the SDL system and the UDP platform and design APIs(Application Programming Interface). And we do conformance testing for WTP protocol software using ITEX(Interactive TTCN Editor and eXecutor). We write ATS(Abstract Test Suite) by TTCN(Tree and Tabular Combined Notation) and make ETS(Executable Test Suite) by the TTCN compiler supplied by ITEX.

키워드

참고문헌

  1. WAP Forum, 'WAP Version 1.2 Specification,' URL: http://www.wapforum.org/
  2. Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma, 'SDL Formal Object-oriented Language for Communicating Systems,' Prentice Hall, 1997
  3. 이해동, 최윤석, 임경식, 'SDL을 이용한 무선 트랜잭션 프로토콜의 설계 및 구현', 통신정보합동학술대회(JCCI 2000) 발표논문집, pp.867-870, 2000
  4. Telelogic AB, 'Telelogic Tau 3.5 Manual,' 1999
  5. Berd Baumgarten, Alfred Giessler, 'OSI Conformance Testing Methodology And TTCN,' Elsevier Science. 1994
  6. 김경민, 남영호, 박재홍, 노철우, 이병길, 한운영, 'SDT를 이용한 WLL 프로토콜 검증', 한국정보과학회춘계학술발표논문집, 제26권, 제1호, pp.464-466, 1999
  7. 장동원, 'ATM망에서 프로토콜(SSCOP)적합성 시험방법 및 결과 분석 방법', 한국통신학회논문지, 제22권, 제10호, pp.2348-2356, 1997
  8. 김상기, 김성운, 정재윤, '형식기술기법에 의한 AIN 프로토콜 적합성 시험 계열 생성', 한국정보처리학회 논문지, 제4권, 제2호, pp.552-562, 1997
  9. 윤재일, 노승환, 조현윤, 김덕진, 'LAN을 이용한 적합성 시험 시스템의 구현과 No.7 TCAP에의 적용에 관한 연구', 전자공학회논문지, 제29권, 제8호, pp.629-636, 1992
  10. 정호원, 오연주, 최윤석, 임경식, 'SDT를 이용한 무선 트랜잭션 프로토콜의 프로토타입 구현', 한국정보과학회 추계학술발표논문집, pp.349-351, 2000
  11. 최윤석, 김기조, 임경식, '무선 응용 프로토콜 구현 기술', 한국정보과학회 정보통신연구회 정보통신기술지, 제14권, 제1호, pp.16-31, 2000
  12. 한국전자통신연구원(ETRI), '정보통신 프로토콜 공학', 1997
  13. ITU, 'ITU-T Recommendation X.292:OSI conformance testing methodology and framework for protocol Recommendations for ITU-T applications-The Tree and Tabular Combined Notation (TTCN),' 1998