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

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

Test suite generation technique for protocols with nondeterminism

비결정성을 갖는 프로토콜을 위한 시험 스위트 생성방법

  • 김병식 (충남대학교 컴퓨터공학과) ;
  • 김우직 (충남대학교 컴퓨터공학과)
  • Published : 1997.09.01
Download PDF
⟨ Previous Next ⟩

Abstract

This paper proposes a new test case generation technique for a nondeterministic finite state machine by improving the existing UIO sequence generation method. First, a new conformance relationis defined, which is one of prerequisites for automatic test case generation. Because fof the nondeterministic property of torpocols, the output of the systems under test is not known deterministically to the tester. Therefore, tree-like test case generation method is introduced for adaptive testing, in which the next input is selected after observing the previous output. Since the test cases are generated with regarding the inputs and outputs as separate events and are represented in tree notation, the test cases are easily converted into TTCN, the international standard test suite specification language.

본 논문에서는 기존의 UIO순열을 이용하는 방법을 개선하여 비결정적 유한상태기계에서 시험 경우를 생성하는 방법에 대해서 소개하였으며, 시험 경우의 자동생성을 위해서 필수적인 사항인 적합성 관계의 형식적인 정의를 새롭게 정의하였다. 또한 프로토콜의 비결정적인 성질 때문에 시험기는 한 입력을 가했을 때 어떤 출력을 낼지 미리 시험기의 입장에서 알 수 없으므로 적응력있는 시험을 위해서 트리형태의 시험 경우를 생성하는 방법을 소개하였고 시험 경우를 입력과 출력을 분리해서 고려함으로써 시험 경우 기술 언어인 TTCN으로의 변환을 쉽게 하였다.

Keywords

References

  1. Proc. IEEE Fault Tolerant Computing Conf. Fault Detection for Sequential Machine by Transition Tours. S. Naito;M. Tsunoyama
  2. Computer Networks and ISDN Systems v.15 no.4 A Protocol Test Generation Procedre K. Sabnani;A. Dahbura
  3. IEEE Transactions on Software Enginnering v.4 no.3 Testing Software Design Modeled by Finite State Machine T. S. Chow
  4. Switching and Finite Automata Theory Z. Kohavi
  5. Protocol Specification, Testing, and Verification VIII An Optimization Technique for Protocal Conformance Test Generation based on UIO Sequences and Rural Chinese Postman Tours A. V. Aho;A. T. Dahbura;D. Lee;M. U. Uyar;S. Aggarwal(ed.);K. Sabnani (ed.)
  6. Review v.19 no.4 An Improved Protocol Test Generation Procedure Based on UIO's SIGCOMM '89 Symposiun : Communications Architecture and Protocols in Computer Comm W. Y. L. Chan;S. T. Vuong;M. R. Ito
  7. Technical Report, Comp. & Info. Sci. Improvements in UIO Sequence Generation and Partial UIO Sequences W. Chun;P. D. Amer
  8. Ph.D. Thesis, Comp. & Info. Sci., University of Delaware Test Case Generation for Protocols Specified in Estelle W. Chun
  9. Information Processing Systems-Open System Interconnection ISO International Standard 9646:OSI Conformance Testing Methodology and Framework
  10. Proc. 5th International Workshop on Protocol Test Systems Generation of Adaptive Test Cases Nondeterministic Finite State Models P. Tripathy;K. Naik
  11. Proc. 6th International Workshop on Protocol Test Syatems Adaptive Testing of Non-Deterministic Communication Protocols M. Ghriga;P. Frankl
  12. Proc. 6th International Workshop on Protocol Test Syatems Nondeterministic State Machines in Protocol Conformance Testing A. Petrenko;N. Yectushenko;A. Levedev;A. Das
  13. Information Processing Systems-Open System Interconnection ISO International Standard 9074:Estelle-A Formal Description Technique Based on an Extended State Transition Model
  14. Information Processing Systems-Open System Interconnection ISO International Standard 8807:LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour