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