Abstract
In this paper, a new technique is proposed for generating a minimum-length synchronizable test sequence that can be applied in the distributed test architecture where both external synchtonization and input/output operation costs are taken into consideration. the method defines a set of transformation rules that constructs a duplex digraph from a given finite state machine representation of a protocol specification rules that constructs a duplex digraph from a given finite state machine representation of a protocol specificatio such that a rural chinese postman tour of the duplex digraph can be used to generate a minimum-length synchronizable test sequence using synchronizable distinguishing sequences as the state identification sequence for each state of the given finite state machine. The method provides an elegant solution to the synchronization problem that arises during the application of a predetermined test sequence in some protocol test architectures that utilize remote testers.
본 논문은 통신 프로토콜의 적합성 시험시 외부 동기와 입출력 시험 항목의 비용이 고려되어야 할 분산 시험 환경에서 적용될 수 있는 동기적 시험 항목 생성을 위한 새로운 방법을 제시한다. 이 방법은 유한 상태 기계로 표현된 프로토콜의 명세로 부터 이중 방향 그래프를 구성한 후 최소 길이의 동기적 시험 항목을 생성하기 위해 rural Chinese postman tour(RCPT) 알고리듬을 적용한다. 또한 시험시 주어진 유한 상태 기계의 각 상태에 대한 상태 식별 항목으로써 synchronizable distinguishing sequence(SDS)들을 사용한다. 본 논문의 방법은 원거리 시험기들을 사용하는 프로토콜 시험 구조에서 기 결정된 시험 항목을 적용할 때 시험 대상과 이들 시험기들간에 발생할 수 있는 동기화 문제에 대한 해결책으로 제시될 수 있다.