Design and implementation of simulator for fault coverage analysis of commuication protocol test case

통신 프로토콜 시험항목의 오류 발견 능력 분석을 위한 시뮬레이터의 설계 및 구현

  • 김광현 (광주대학교 전자계산학과) ;
  • 허기택 (동신대학교 컴퓨터학과) ;
  • 이동호 (광운대학교 전자계산학과)
  • Published : 1997.08.01


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.



  1. IEEE INFOCOM'93 Confomance testing of protocols specified as communicating FSMs D. Lee;K. Sabnani;D. M. Kristol;S. Paul
  2. Ph. D Thesis,Computer and Infomation Science,University of Delaware Test case generation for protocols specified in estelle W. J. Chun
  3. Proceeding of the 12th IFIP Symposium on Protocol Specification Fault coverage evaluation of protocaol test sequence J. Zhu;S. T. Chanson
  4. IW PTS Ⅶ Fault coverage of tests based on finite state models G. v. Bochmann;A. Petrenko;M. Yao
  5. FORTE'94 A sructural analysis approach to the evaluation of fault coverage for protocaol confomance testing M. Yao;A. Petrenko;G. v. Bochmann
  6. Protcol Test System, IFIP Fault coverage of UIO-based methods for protocaol testing H. Mottler;A. Chung;D. Sidhu
  7. IEEE Trans. Communications v.40 no.8 Evaluation and improvement of fault coverage of conformance testing by UIO sequences F. Lombardi;Y. U. Shen
  8. IEEE Software Testing Communiation Protocols K. Naik;B. Sarikaya
  9. Computer Networks and ISDN Systems v.29 no.1 Standardization of formal methods in conformance testing of communication protocols A. R. Cavalli;J. P. Favreau;M. Phalippou
  10. IEEE/ACM Trans. Networking v.1 no.5 On testing hierarchies for protocols D. P. Sidhu;H. Motteler;R. Vallurupalli
  11. IEEE/ACM Trans. Networking v.2 no.5 Sturctural analysis of protocaol specifications and generation of maximal fault coverage conformance test sequences R. E. Miller;S. Paul
  12. 24 Computer Communications v.18 no.2 Fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model T. Ramalingam;A. Das;K. Thulasiraman
  13. Computer Communications v.18 no.5 On testing and diagnosis of communication protocols based on the FSM model T. Ramalingam;A. Das;K. Thulasiraman
  14. Computer Networks and ISDN Systems v.29 no.1 On fault coverage of tests for finite state specifications A. Petrenko;G. v. Bochmann;M. Yao
  15. 한국 통신학회 논문지 v.21 no.8 통신 프로토콜 시험항목의 오류 발견 능력 평가 방법 김광현;허기택;이동호
  16. 한국정보과학회 논문지 v.22 no.12 프?紂? 시험을 위한 통합환경의 설계와 구현 김재철;최양희