일반기술

동적 프로토콜 적합성 시험 방법 및 장치

본 기술은 프로토콜 적합성 시험 방법에 있어서, 트랜지션의 집합 형태를 갖는 시험대상 프로토콜의 FSM(finite state machine)으로부터 가능한 모든 경로의 프리엠블 서브 시험 시퀀스들과 시험대상 트랜지션의 도착상태를 검증하는 모든 포스트엠블 서브시험 시퀀스들을 취합하여 시험 시퀀스 트리를 구성하는 단계; 상기 생성된 시험 시퀀스 트리의 각각의 시험 시퀀스를 반복적으로 상기 프로토콜에 적용하여 상기 시험대상 프로토콜의 각 트랜지션에 대한 결함여부를 판정하는 단계를 포함하는 것을 특징으로 하는 동적 프로토콜 적합성 시험 방법에 관한 것이다.본 기술은 프로토콜 적합성 시험 방법에 관한 것으로, 본 기술의 방법은 트랜지션의 집합 형태를 갖는 시험대상 프로토콜의 FSM(finite state machine)으로부터 가능한 모든 경로의 프리엠블 서브 시험 시퀀스들과 모든 포스트엠블 서브시험 시퀀스들을 취합하여 시험 시퀀스 트리를 구성하는 단계와, 상기 시험 시퀀스 트리를 구성하는 각각의 시험 시퀀스를 반복적으로 상기 프로토콜에 적용하여 상기 시험대상 프로토콜의 각 트랜지션에 대한 결함여부를 판정하는 단계를 수행함으로써 성취된다. 또한 본 기술은 상술한 방법을 수행하는 동적 프로토콜 적합성 시험 장치도 포함한다.; 그러므로, 종래기술의 프로토콜 적합성 시험 방법에 비하여 과실 커버리지면에서 향상된 결과를 보이므로, IUT에 대해 보다 정확한 진단 결과를 도출할 수 있다.