The Journal of Korean Institute of Communications and Information Sciences (한국통신학회논문지)

The Korean Institute of Commucations and Information Sciences (한국통신학회)
권호 표지

Automatic Generation of Protocol Test Sequences from SDL

SDL로부터 프로토콜 시험열 자동 생성 기법

  • 이현정 (한국전자통신연구원 통신시스템연구부) ;
  • 최영일 (한국전자통신연구원 통신시스템연구부) ;
  • 이병선 (한국전자통신연구원 통신시스템연구부)
  • Published : 2000.07.01
Download PDF
⟨ Previous Next ⟩

Abstract

적합성 시험은 프로토콜 구현물인 IUT(Implementation Under Test)가 프로토콜 규격과 일치하는지를 검증하는 것으로, 이 적합성 시험의 질은 생성된 시험열에 의존한다. 기존에는 시험열 생성이 수작업으로 이루어지기 때문에 오류의 가능성을 내포한다. 본 논문에서는 자동화된 툴(tool)인 Design/CPN을 이용하여 SDL(Specification and Description Language)로 기술된 프로토콜의 시험열을 생성한다. SDL로 기술된 프로토콜을 자료흐름을 고려한 CPN(Colored Petri Nets)으로 변환 후 Design/CPN에 입력하여 자동 생성된 OG(Occurrence Graph)와 디스크립터 (descriptor)로부터 시험열을 생성함으로써, 기존의 시험열 생성 방법에 비해 오류 가능성을 줄일 수 있으며, 자료 흐름이 고려된 시험열을 얻을 수 있다.

Keywords

References

  1. 한국통신학회 하계학술발표 논문집 v.17 no.2 Design/CPN을 이용한 테스트 케이스 생성 이현정;우성희;이상호
  2. Coloured Petri Nets(2nd ed.) v.1 K. Jensen
  3. 정보과학회 춘계학술발표 논문집 v.21 no.1 Estelle로 표현된 프로토콜의 테스트 슈트 생성에 관한 연구 우성희;오병호;이상호
  4. 한국통신학회논문지 v.20 no.12 조건 문맥 변수를 고려한 제어 흐름도 생성 기법 오병호;우성희;이상호
  5. 정보과학회 춘계학술발표 논문집 v.25 no.1 실행불가능 경로가 제거된 테스트 케이스 생성 이현정;우성희;오병호;이상호
  6. EFSM으로 표현된 프로토콜의 SDL/PR변환 우성희
  7. 청주과학대학 논문집 v.24 셀프루프를 고려한 테스트 케이스 생성 우성희;이현정
  8. 통합 흐름을 고려한 테스트 스위트 생성 기법 곽병옥
  9. 자료 흐름의 변칙성을 고려한 프로토콜의 테스트 스위트 생성 오병호
  10. Recommendation Z.100 and Annexes A, B, C, D, and E, Blue Book Functional Specification and Description Language(SDL) CCITT
  11. LTS 기반의 시험목적을 고려한 프로토콜 테스트 스위트 생성 우성희