The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)
- Volume 6 Issue 11
- /
- Pages.3070-3076
- /
- 1999
- /
- 1226-9190(pISSN)
Automatic Generation of Protocol Test Cases from Estelle Using Design/CPN
Design/CPN을 이용한 Estelle로부터의 프로토콜 시험열 자동 생성 기법
- Lee, Hyeon-Jeong (Electronics and Telecommunications Research Institute) ;
- Jo, Jin-Gi ;
- U, Seong-Hui (Dept.of Computer Science, Chongju National College) ;
- Lee, Sang-Ho (Dept. of Computer Engineering, Chungbuk National University)
- Published : 1999.11.01
Abstract
Petri net is one of the effective modeling techniques which analyzes and designs concurrent and asynchronous systems. CPN is an extended Petri net which has color tokens. In this paper, we propose a new test case generation method using CPN. It transforms Estelle Specification into CPN, which is applicable to Design/CPN. It also generates UIO and subtour from OG and descriptor, which are resulted from Design/CPN. Using the proposed method, we can get more improved test coverage than existing methods. Therefore, more effective protocol conformance testing could be conducted. The test case generating method will be the basis of the automatic testing environmented.
Keywords