한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

Estelle로부터 자료흐름이 고려된 테스트 케이스 생성

Generation of Test Cases With Data Flow From Estelle

  • 이현정 (충북대학교 컴퓨터공학과) ;
  • 우성희 (청주과학대학 전자계산과) ;
  • 이상호 (충북대학교 컴퓨터공학과)
  • 발행 : 1998.10.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

CPN(Colored Petri Net)은 시스템을 분석하고 설계하는 모델링 기법인 페트리넷의확장형으로서, 토큰에 color을 부여하여 자료흐름까지 고려할 수 있다. 이 연구에서 Estelle 로 기술된 프로토콜 명세를 Design /CPN에 적용가능한 CPN으로의 변환 방법을 제안하였다. 그리고 변환된 CPN을 Design /CPN에 입력하여 얻은 OG(Occurrence Graph)와 각 노드에 대한 내부 정보인 descriptor를 이용하여, 자료흐름이 고려된 보다 간편하고 효율적인 테스트 케이스를 생성하였다.

키워드