본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

Logical Clock을 이용한 분산 시험
Distributed Test Method using Logical Clock

최영준   (금융결제원 전자금융연구소CC0103573  ); 김명철   (한국정보통신대학원대학교 공학부UU0001592  ); 설순옥   (한국전보통신대학원대학교 공학부  );
  • 초록

    분산시스템(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.


  • 참고문헌 (14)

    1. 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 
    2. Telelogic SDT3.2: Getting Started, Part1: Tutorials on SDT Tools, Telelogic, Setptmber 1997 
    3. 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 
    4. Y. Jung and J. Lee, 'Experiences with Generation of Conformance Test Suite for Q.2971 Network-side Testing,' Information Networking, pp.286-289, 1998 
    5. G. Coulouris, J. Dollimore and T. Kindberg, 'Distributed Systems, Concepts and Design,' Second Edition, Addison-Wesley, 1994 
    6. 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 
    7. 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 
    8. C. Fidge, 'Logical Time in Distributed Computing Systems,' IEEE Computer, pp.28-33, August 1991 
    9. 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 
    10. 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 
    11. 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 
    12. M. Kim, S. T. Chanson, S. Kang and J. Shin, 'An Enhanced Model for Testing Asynchronous Communicating Systems,' FORTE/PSTV'99, June 1999 
    13. 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 
    14. 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 

 저자의 다른 논문

  • 김명철 (8)

    1. 1999 "다중계층 프로토콜의 적합성시험 방안" 정보처리논문지 = The transactions of the Korea Information Processing Society 6 (11): 3086~3096    
    2. 1999 "TCP 상호운용성 시험스위트의 도출" 정보과학회논문지. Journal of KISS (a):computer systems and theory. A 26 (11): 1414~1428    
    3. 1999 "ATM 프로토콜 적합성 시험시스템의 개발과 적용" 정보과학회논문지. Journal of KISS (c) : computing practices. C 5 (4): 498~506    
    4. 2001 "이동 컴퓨터를 위한 클래스 기반 프락시 서버" 정보과학회논문지. Journal of KIISE. 시스템 및 이론 28 (4): 463~463    
    5. 2001 "실험계획법을 이용한 TCP 데이터 부분에 대한 상호운용성 시험스위트 생성" 정보과학회논문지. Journal of KIISE. 정보통신 28 (2): 277~287    
    6. 2001 "동적 프로토콜 적합성 시험" 정보과학회논문지. Journal of KIISE. 정보통신 28 (3): 355~368    
    7. 2001 "다중계층 프로토콜 시험 방법" 정보과학회논문지. Journal of KIISE. 정보통신 28 (3): 377~388    
    8. 2001 "이동 컴퓨터를 위한 클래스 기반 프락시 서버" 정보과학회논문지. Journal of KIISE. 정보통신 28 (4): 463~476    

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기