- 통신 프로토콜 시험항목의 오류 발견 능력 분석을 위한 시뮬레이터의 설계 및 구현
- ㆍ 저자명
- 김광현,허기택,이동호
- ㆍ 간행물명
- 한국통신학회논문지
- ㆍ 권/호정보
- 1997년|22권 8호|pp.1823-1832 (10 pages)
- ㆍ 발행정보
- 한국통신학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
본 논문은 유한 상태 기계 모델로 표현된 통신 프로토콜의 시험항목에 대한 오류 발견 능력 분석 방법을 제시한다. 시험항목에 대한 오류 발견 능력의 평가는 생성된 시험항목으로 어느 정도까지 오류를 발견해 낼 수 있는지를 측정하는 것이다. 시험항복의 오류 발견 능력 평가 방법은 주로 수학적 분석과 시뮬레이션을 이용한 방법이 사용되고 있다. 본 논문에서는 동신 프로토콜 시험항목의 오류 발견 능력 분석음 위해 시뮬레이터를 설계, 구현하였다. Inres 프로토콜을 시뮬레이터에 적용한 결과, 출력 오류와 상태 병합. 분리 오류는 100%의 높은 오류 발견율을 보였다. 구현된 오류 발견 능력 분석 시뮬레이터는 다양한 프로토콜에 적용 가능함으로써 새로운 오류 발견 능력 분석 도구로 사용될 수 있다.
In this ppaer, fault coverage analysis of a conformance test case for communication protocols, specified as a deterministic finite state machine(DFSM) is presented. The fault coverage analysis of a test case is defined by measuring the extent of the faults detected using a generated test case. The method that evaluates fault coverage analysis for a test case, has been researched by arithmetic analysis and simulation. In this paper, we designed and implemented a simulator for fault coverage analysis of a communication protocol teat case. With this result for Inres protocol, output fault and state merge and split fault have a high fault coverage of 100%. This simulator can be widely used with new fault coverage analysis tools by applying it to various protocols.