한국정보처리학회논문지 (The Transactions of the Korea Information Processing Society)
- 제6권11호
- /
- Pages.3070-3076
- /
- 1999
- /
- 1226-9190(pISSN)
Design/CPN을 이용한 Estelle로부터의 프로토콜 시험열 자동 생성 기법
Automatic Generation of Protocol Test Cases from Estelle Using Design/CPN
- 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)
- 발행 : 1999.11.01
초록
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.
키워드