The Journal of Korean Institute of Communications and Information Sciences (한국통신학회논문지)

The Korean Institute of Commucations and Information Sciences (한국통신학회)
권호 표지

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

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

  • Published : 1997.08.01
Download PDF
⟨ Previous Next ⟩

Abstract

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.

본 논문은 유한 상태 기계 모델로 표현된 통신 프로토콜의 시험항목에 대한 오류 발견 능력 분석 방법을 제시한다. 시험항목에 대한 오류 발견 능력의 평가는 생성된 시험항목으로 어느 정도까지 오류를 발견해 낼 수 있는지를 측정하는 것이다. 시험항복의 오류 발견 능력 평가 방법은 주로 수학적 분석과 시뮬레이션을 이용한 방법이 사용되고 있다. 본 논문에서는 동신 프로토콜 시험항목의 오류 발견 능력 분석음 위해 시뮬레이터를 설계, 구현하였다. Inres 프로토콜을 시뮬레이터에 적용한 결과, 출력 오류와 상태 병합. 분리 오류는 100%의 높은 오류 발견율을 보였다. 구현된 오류 발견 능력 분석 시뮬레이터는 다양한 프로토콜에 적용 가능함으로써 새로운 오류 발견 능력 분석 도구로 사용될 수 있다.

Keywords

References

  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 프？紂？ 시험을 위한 통합환경의 설계와 구현 김재철;최양희