본 논문은 CDMA PCS 무선 접속 규격 계층 2 프로토콜 적합성 시험 계열 생성을 위하여 CDMA PCS 계층 2 프로토콜 중 호출 채널에 대해 프로토콜 형식 기술 기법 중의 하나인 SDL(Specification Description Language)을 사용하여 명세화하고 또 중간 모델인 I/O FSM (Input/Output Finite State Machine)을 추출하며, 이러한 I/O FSM으로부터UIO(Unique Input Output) 시퀀스에 의한 시험 계열 생성과 최적화 기술에 의한 시험 계열 생성에 대한 알고리듬을 제안하였다. 제안된 알고리듬을 통해 얻어진 시험 계열을 사용하여 오류 커버 영역을 검정하는 알고리듬을 개발 및 적용하여구현에 대한 오류 영역 커버 범위를 예측 시뮬레이션하였다. 또 생성된 최적 완전 시험 계열을 명세 I/O FSM의 각 시험대상 천이와 특성 시퀀스(Characteristic Sequence)의 연결로 된 시험 계열로부터 적합성 시험 표준 표기법인 TTCN(Tree and Tabular Combined Notation)으로의 변환 방법도 기술하였다.
본고는 CDMA PCS 무선 접속 규격 계층 2 프로토콜 적합성 시험 계열 생성을 위해, 호출 채널에 대해 SDL을 사용하여 명세화하고 또 중간 모델인 I/O FSM을 추출하며, 이로부터 UIO 시퀀스에 의한 시험 계열 생성과 최적화 기술에 의한 시험 계열 생성에 대한 알고리즘을 제안하였다.