It is difficult to test a distributed system composed of distributed objects because we cannot control concurrent events occurring in the distributed objects. In this thesis, test sequence generating algorithms using logical clocks are proposed for distributed objects in order to control the concurrent events. Proposed algorithms classify events into either concurrent or causal ones as a result of comparing logical clock values labeled at the events of the test sequence, which is for testing the distributed system. Based on the classification, the algorithms generate additional signals to control concurrent events, and add the signals to the test sequence of the distributed objects. These algorithms are able to solve control-observation problem in a formal way and thus reproduce the test results. In this thesis, algorithms are proposed separately for cases that receiving delay time of outputs is zero or not.
Moreover, there is a drawback in the existing distributed test method of which the number of channels among testers increases non-linearly while the number of distributed objects is increasing. To overcome this drawback, the proposed algorithms are modified in order to apply to the remote test architecture and the algorithms are applied to the message exchange, of which receiving delay time of outputs is not zero, for the establishment of Q.2971 network side point-to-multipoint call/connection as an example.
분산 객체 (distributed object)로 구성된 분산 시스템 (distributed system)을 시험할 때, 분산 객체에서 발생하는 병렬 이벤트들 (concurrent events)을 제어할 수 없다면 정확한 시험 결과를 얻어내기 어렵다. 본 논문은 분산 시험 방법 (distributed test method)을 사용한 분산 시스템의 시험에서 발생하는 병렬 이벤트를 제어하고자 logical clock을 이용한 분산 객체별 test sequence 생성 알고리즘을 제안한다. 제안된 알고리즘은 분산 시스템을 시험하려는 test sequence의 이벤트에 logical clock을 기록하고 비교하여 이벤트를 병렬 또는 인과 관계로 분류한다. 그리고 병렬 관계인 이벤트를 제어하기 위한 시그널을 생성하여 test sequence에 삽입하고 분산 객체별로 test sequence를 추출하는 것이다. 이 알고리즘은 제어-관찰 문제 (control-observation problem)를 정형적인 방법 (formal method)으로 해결하는 것이면서 시험 결과를 재현할 수 있게 한다. 본 논문에서는 출력 수신 지연 시간이 0인 경우와 그렇지 않은 경우에 대해서 각각의 알고리즘을 제시, 구현하였다.
또한 기존 분산 시험 방법에서는 분산 객체가 증가할수록 시험기 사이의 채널이 비선형 (non-linearly)으로 증가하는 단점이 있다. 이 단점을 극복하고자 제안한 알고리즘을 원격 시험 방법 (remote test method)의 시험 구조에 적용할 수 있도록 수정하고, 출력 수신 지연 시간이 0이 아닌 경우의 분산 객체별 test sequence 생성 알고리즘을 Q.2971 망 부분 (network side) 일 대 다 호/연결 설정을 위한 메시지 교환에 적용한다.
