한국정보과학회논문지:시스템및이론 (Journal of KIISE:Computer Systems and Theory)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

Logical Clock을 이용한 분산 시험

Distributed Test Method using Logical Clock

  • 최영준 (금융결제원 전자금융연구소) ;
  • 김명철 (한국정보통신대학원대학교 공학부) ;
  • 설순옥 (한국전보통신대학원대학교 공학부)
  • 발행 : 2001.10.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

분산시스템(distributed system)을 시험할 때, 병렬 이벤트를(concurrent events)를 제어 할수 없다면 정확한 시험결과를 얻어내기 어렵다. 기존의분산 시험 방법은 정형적 방법으로 test sequence 생성 알고리즘을 제시하지 못하거나 동기화를 위한 부가적 메시지의양이 많은 단점이 있었다. 본 논문에서는 병렬 이벤트 제어를 위해 logical clock를 이용한 정형적 test sequence 생성 알고리즘을 제시한다. 이 알고리즘은 제어관철 문제를 해결하고 시험 결과를 재현할수 있다. 또한 어떠한 통신 패러다임에서도 적용될수 있는 일반적 해결방법을 제공한다. 분산 시험 방법에서는 분산 객체가 증가할수록 시험기 사이의 채널이 비선형(non-linearly)으로 증가하는 단점이 있다. 이 단점을 극복하고자 원격 시험방법(remote test method)의 시험 구조를 제안한다. 제안된 알고리즘의 검증을 위해 SDL 도구를 사용하고 Q.2971 망 부분(network side) 일대 다 호/연결 설정을 위한 메시지 교환에 적용한다.

It is difficult to test a distributed system because of the task of controlling concurrent events,. Existing works do not propose the test sequence generation algorithm in a formal way and the amount of message is large due to synchronization. In this paper, we propose a formal test sequence generation algorithm using logical clock to control concurrent events. It can solve the control-observation problem and makes the test results reproducible. It also provides a generic solution such that the algorithm can be used for any possible communication paradigm. In distributed test, the number of channels among the testers increases non-linearly with the number of distributed objects. We propose a new remote test architecture for solving this problem. SDL Tool is used to verify the correctness of the proposed algorithm and it is applied to the message exchange for the establishment of Q.2971 point-to-multipoint call/connection as a case study.

키워드

참고문헌

  1. M. Benattou, L. Cacciari, R. Pasini and O. Rafiq, 'Principles and Tools for Testing Open Distributed Systems,' Int'l Workshop on Testing of Communicating Systems, pp.77-92, Budapest, Hungary, September 1999
  2. A. Ulrich and H. Konig, 'Architectures for Testing Distributed Systems,' Int'l Workshop on Testing of Communicating Systems, pp.93-107, Budapest, Hungary, September 1999
  3. G. Luo, R. Dssouli, G.v. Bochmann, P. Venkataram and A. Ghedamsi, 'Test Generation With Respect To Distributed Interfaces,' Computer Standards and Interfaces, pp.119-132. 1994 https://doi.org/10.1016/0920-5489(94)90003-5
  4. K. Tai, R. Carver and E. Obaid, 'Debugging Concurrent Ada Programs by Deterministic Execution,' IEEE Trans. Software Engineering, Vol 17, No.1, pp.45-63, January 1991 https://doi.org/10.1109/32.67578
  5. M. Kim, S. T. Chanson, S. Kang and J. Shin, 'An Enhanced Model for Testing Asynchronous Communicating Systems,' FORTE/PSTV'99, June 1999
  6. C. Fidge, 'Logical Time in Distributed Computing Systems,' IEEE Computer, pp.28-33, August 1991 https://doi.org/10.1109/2.84874
  7. G. Luo, G. v. Bochman and A. Petrenko, 'Test Selection Based on Communicating Nondeterministic Finite-State Machines using a Generalized Wp-Method,' IEEE Trans. Software Engineering, Vol 20, No.2, pp.149-162, February 1994 https://doi.org/10.1109/32.265636
  8. Y. C. Young and K C. Tai, 'Observational Inaccuracy in Conformance Testing with Multiple testers,' IEEE 1st Workshop on Application-specific Software Engineering and Technology, pp.80-85, 1998 https://doi.org/10.1109/ASSET.1998.688238
  9. T. V. Gioles, I. Schieferdecker, M. Born, M. Winkler and M. Li, 'Configuration and Execution Support for Distributed Tests,' Int'l Workshop on Testing of Communicating Systems, pp.61-76, Budapest, Hungary, September 1999
  10. G. Coulouris, J. Dollimore and T. Kindberg, 'Distributed Systems, Concepts and Design,' Second Edition, Addison-Wesley, 1994
  11. H. Herzog, K Sunderhaft, 'General Framework for fault tolerance from ISO/ITU Reference Model for Open Distributed Processing(RM-ODP),' Object-Oriented Real-Time Dependable Systems, pp.111-118, 1999 https://doi.org/10.1109/WORDSF.1999.842341
  12. Y. Jung and J. Lee, 'Experiences with Generation of Conformance Test Suite for Q.2971 Network-side Testing,' Information Networking, pp.286-289, 1998 https://doi.org/10.1109/ICOIN.1998.648395
  13. ITU-T Draft Recommendation, Q.2971 B-ISDN Digital Subscriber Signalling No. 2(DSS2) User Network Interface layer 3 Specification for Point-to-Multipoint Call/Connection Control, 1995
  14. Telelogic SDT3.2: Getting Started, Part1: Tutorials on SDT Tools, Telelogic, Setptmber 1997