BUIO를 이용한 프로토콜 적합성시험을 위한 시험항목생성

본 논문은 통신프로토콜의 적합성 시험에 사용되는 시험항목 생성을 위한 새로운 방법을 제시한다. 프로토콜명세의 제어부분(control portion)을 유한상태기계(FSM)로 나타내고 각 상태(state)를 고유하게 식별시키는 입출력시퀀스를 만든다. 본 논문에서 제시하는 알고리즘은 다중 UIO(Unique Input/Output) 시퀀스들과 새로운 개념인 다중 BUIO(Backward UIO) 시퀀스들을 복합적으로 사용하여 중복성을 최대화함으로써 시험항목의 길이를 최소화시키는 heuristic 알고리즘을 제시한다. 또한 오류 검출을 위한 BUIO의 활용가능성도 제시한다.