- 수정된 maximal progress 상태 탐사방법에 의한 개선된 프로토콜 검증 알고리즘
- ㆍ 저자명
- 이철희,이상호,고원국
- ㆍ 간행물명
- 한국통신학회논문지
- ㆍ 권/호정보
- 1988년|13권 3호|pp.231-238 (8 pages)
- ㆍ 발행정보
- 한국통신학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
본 논문에서는 두개의유한 상태 통신 기계에 대한 통신 프로토콜을 검증할 수 있도록 수정된 maximal progress 상태 탐사 방법을 제안한다. 모든 도달 가능한 상태들을 생성하는 작업은 두개의 독립된 작업으로 구분하며, 각 작업에서는 어느 한 기계에 대한 도달 가능한 상태들을 수정된 maximal progress순서에 의해서 생성되도록 한다. 이러한 maximal progress 상태 탐사 방법은 기존의 maximal progress 상태 탐사 방법보다 더 적은 시간과 공간을 요구한다.
A new approach to the reachability analysis of communication protocols is presented using a modified maximal progress state exploation for two communicating finite state machines. The task of generating all reachable states is divided into two independent subtasks. In each subtask, only the states which are reachable by forcing modified maximal progress sequence for one machine are generated. Modified maximal progress state exploration saves space and time over maximal progress state exploration.