Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 1998.10a
- /
- Pages.258-260
- /
- 1998
- /
- 1598-5164(pISSN)
Generation of Test Cases With Data Flow From Estelle
Estelle로부터 자료흐름이 고려된 테스트 케이스 생성
Abstract
CPN(Colored Petri Net)은 시스템을 분석하고 설계하는 모델링 기법인 페트리넷의확장형으로서, 토큰에 color을 부여하여 자료흐름까지 고려할 수 있다. 이 연구에서 Estelle 로 기술된 프로토콜 명세를 Design /CPN에 적용가능한 CPN으로의 변환 방법을 제안하였다. 그리고 변환된 CPN을 Design /CPN에 입력하여 얻은 OG(Occurrence Graph)와 각 노드에 대한 내부 정보인 descriptor를 이용하여, 자료흐름이 고려된 보다 간편하고 효율적인 테스트 케이스를 생성하였다.
Keywords