Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2005.11a
- /
- Pages.484-486
- /
- 2005
- /
- 1598-5164(pISSN)
The Develonment of an OSPF Protocol Error Detector
OSPF프로토콜 오류 검출기 개발
- Hong Changpyo (Kumoh National Institute of Technology) ;
- Kim Tae-Hyong (Kumoh National Institute of Technology) ;
- Lee Hyun-Sung (Kumoh National Institute of Technology) ;
- Cha Won-Soo (Kumoh National Institute of Technology) ;
- Jung Se-Hoon (Kumoh National Institute of Technology)
- 홍창표 (금오공과대학교 컴퓨터 공학과) ;
- 김태형 (금오공과대학교 컴퓨터 공학과) ;
- 이현성 (금오공과대학교 컴퓨터 공학과) ;
- 차원수 (금오공과대학교 컴퓨터 공학과) ;
- 정세훈 (금오공과대학교 컴퓨터 공학과)
- Published : 2005.11.01
Abstract
수동 시험은 기존의 프로토콜 검증 방법과는 달리 제품이 실제 운용되는 환경에서 입출력의 관찰만을 가지고 제품의 오류를 검출하는 시험이다. 본 논문은 EFSM(Extended Finite State Machine) 모델을 이용하여 homing 기법을 사용하는 수동시험 기법을 제안하고 이를 검증하기 위하여 제안된 수동 시험 기법을 사용하는 OSPF 프로토콜의 오류 검출기를 개발하였다. 개발된 오류 검출기는 Zebra[6]와 시스코 라우터로 구성된 소규모 네트워크에서 Zebra를 이용해 발생시킨 오류 OSPF 패킷을 잘 검출해내었다.
Keywords