기관회원 [로그인]
소속기관에서 받은 아이디, 비밀번호를 입력해 주세요.
개인회원 [로그인]

비회원 구매시 입력하신 핸드폰번호를 입력해 주세요.
본인 인증 후 구매내역을 확인하실 수 있습니다.

회원가입
서지반출
SDL로부터 프로토콜 시험열 자동 생성 기법
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • SDL로부터 프로토콜 시험열 자동 생성 기법
저자명
정회운이현정,최영일,이병선
간행물명
한국통신학회논문지. The Journal of Korea Information and Communications Society. 네트워크 및 서비스
권/호정보
2000년|25권 |pp.1253-1259 (7 pages)
발행정보
한국통신학회
파일정보
정기간행물|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

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