TTCN으로 기술된 시험 항목 검증 도구의 설계 및 구현

Design and implementation of validation tool for TTCN test case

  • 이옥빈 (충북대학교 대학원 전자계산학과) ;
  • 이현정 (충북대학교 대학원 전자계산학과) ;
  • 진병문 (한국전자통신연구원 표준연구센터장) ;
  • 이상호 (충북대학교 컴퓨터과학과)
  • Lee, Ok-Bin (Dept. of Computer Science, Graduate School of Chungbuk National University) ;
  • Lee, Hyeon-Jeong (Dept. of Computer Science, Graduate School of Chungbuk National University) ;
  • Jin, Byeong-Mun ;
  • Lee, Sang-Ho (Dept. of Computer Engineering, Chungbuk National University)
  • 발행 : 1998.12.01

초록

프로토콜 적합성 시험을 효과적으로 하기 위하여 시험항목을 올바로 기술하는 것은 매우 중요하다. 시험 항목 검증을 자동화한다면 수 작업으로 할 때의 번거로움과 오류를 피할 수 있다. 이 연구에서는 이러한 수 작업으로 생성된 시험 항목의 검증을 자동화함으로써 오류를 줄이고, 적합성 시험의 생산성을 향상시키기 위한 시험 항목 검증 도구를 설계하고 이를 구현하였다. 검증대상 시험 항목은 TTCN형태이고 검증의 핵심기반은 reachability tree analysis 방법이다.

키워드