The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)
- Volume 5 Issue 12
- /
- Pages.3176-3184
- /
- 1998
- /
- 1226-9190(pISSN)
Design and implementation of validation tool for TTCN test case
TTCN으로 기술된 시험 항목 검증 도구의 설계 및 구현
- 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)
- Published : 1998.12.01
Abstract
프로토콜 적합성 시험을 효과적으로 하기 위하여 시험항목을 올바로 기술하는 것은 매우 중요하다. 시험 항목 검증을 자동화한다면 수 작업으로 할 때의 번거로움과 오류를 피할 수 있다. 이 연구에서는 이러한 수 작업으로 생성된 시험 항목의 검증을 자동화함으로써 오류를 줄이고, 적합성 시험의 생산성을 향상시키기 위한 시험 항목 검증 도구를 설계하고 이를 구현하였다. 검증대상 시험 항목은 TTCN형태이고 검증의 핵심기반은 reachability tree analysis 방법이다.
Keywords