http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
검출 후 재수행 기법을 이용한 메시지 기반 병렬 프로그램의 디버깅
배현섭(Hyun Seop Bae),김현수(Hyeon Soo Kim),권용래(Yong Rae Kwon),김한경(Han Kyoung Kim) 한국정보과학회 1996 정보과학회논문지(B) Vol.23 No.2
병렬 프로그램에 포함된 프로세스들 간의 상호작용에는 비결정성이 존재하므로 동일한 입력에 대해서 프로그램을 반복수행할 경우에 서로 다른 결과를 산출할 수 있다. 프로그램 내의 비결정성은 두가지 측면에서 디버깅을 어렵게 하는데 첫째는 프로그램의 재수행성이 보장되지 않으며 둘째는 디버깅을 위해서 프로그램 내에 삽입된 탐침에 의해서 프로그램의 수행이 방해받거나 변경될 수 있다. 따라서 재수행성을 보장하고 탐침효과를 최소화하는 것이 병렬 프로그램 디버깅의 가장 중요한 요소이다. 이 논문은 메시지 기반 병렬 프로그램에 대한 새로운 디버깅 방법인 검출 후 재수행 방법을 제시한다. 기존의 방법들과 달리 검출 후 재수행 방법은 프로그램 수행전에 비결정성을 미리 검출하고 검출된 위치에 대해서만 탐침을 삽입함으로써 탐침효과를 최소화하면서 재수행성을 보장한다. 메시지 기반 병렬 프로그램의 비결정성 검출을 위해서 최소선후관계(MHB) 모델과 모델분석 방법들을 제시하였으며 프로그램 분석 결과를 바탕으로 하는 재수행 방법을 제시하였다. Since the interactions among processes of a parallel program are intrinsically nondeterministic, parallel programs often yield different results on repeated runs even with the identical input data. This non-reproducibility makes it extremely difficult to debug parallel programs, In addition, the interactions may be interfered with and even altered by additional codes inserted into the original program for debugging purpose This phenomena. called probe effects. is another serious obstacle. Guaranteeing reproducibility and minimizing probe effects are major issues in the parallel program debugging This paper suggests a new debugging method, named the detect and reproduce method, for message-based parallel programs The proposed method not only guarantees the reproducible behaviors of a target program, but also alleviates probe effects. By employing a static analysis technique, this method can reduce both the number of the probes to be inserted into a program and the amount of information gathered by those probes. Since the locations where nondeterminacy might take place have been identified before running the program, only a small number of probes are required to assure reproducibility. To analyze message-based programs statically, an MHB model has been developed along with a number of algorithms to be used with the model Based on the analysis results, we also suggest a reproducing method.
MSC 명세에 기반한 병렬 프로그램의 프로세스 간 테스팅
배현섭(Hyun Seop Bae),정인상(In Sang Chung),김현수(Hyeon Soo Kim),권용래(Yong Rae Kwon),정영식(Young Sik Chung),이병선(Byung Sun Lee) 한국정보과학회 2000 정보과학회논문지 : 소프트웨어 및 응용 Vol.27 No.2
병렬 프로그램 테스팅을 위한 기존의 연구는 대부분 프로그램 수행 중에 얻어진 이벤트 트레이스(event trace)를 바탕으로 재수행성을 보장하는데 중점을 두고 있다. 반면에 개발과정에서 만들어진 요구/설계 명세로부터 테스팅을 위한 이벤트 시퀀스를 생성하는 방법에 대한 연구는 빈약한 실정이다. 이 논문에서는 통신 소프트웨어 개발 분야에서 광범위하게 사용되는 메시지 순차도(MSC)로부터 병렬 프로그램의 모듈 테스팅을 위한 이벤트 시퀀스를 생성하는 방법을 제시한다. 명세로부터 이벤트 시퀀스를 생성하기 위해서는 명세 내에 묵시적으로 포함되어 있는 이벤트들과 그들 간의 선후관계를 파악해야 한다. 이를 위해서 이 연구에서는 프로그램 수행 중에 이벤트들의 발생 순서를 결정하기 위해 사용해오던 논리시간 벡터(logical time stamp)를 MSC 명세에 적용함으로써 이벤트 간의 선후관계를 추출한다. 또한 이를 바탕으로 이벤트 시퀀스를 자동 생성하는 방법을 제시하고 전화 통화 예제를 사용해서 제시한 방법의 효용성을 보인다. Most of prior works on testing parallel programs have concentrated on how to guarantee the reproducibility by employing event traces exercised during executions of a program. Consequently, little work has been done to generate meaningful event sequences, especially, from specifications. This paper describes techniques for deriving event sequences from Message Sequence Charts(MSCs) which are widely used in telecommunication areas for its simplicity in specifying the behaviors of a program. For deriving event sequences from MSCs, we have to uncover the causality relations among events embedded implicitly in MSCs. In order to attain this goal, we adapt vector time stamping which has been previously used to determine the ordering of events taken place during an execution of interacting processes. Then, valid event sequences, satisfying the causality relations, are generated according to the interleaving rules suggested in this paper. The feasibility of our testing technique was investigated using the phone conversation example. In addition, we discussed on the experimental results gained from the example and how to combine various test criteria into our testing environment.
배현섭(Hyun Seop Bae),윤광식(Gwang Sik Yoon),고장혁(Jang Hyuk Kauh),조완수(Wan Soo Cho),안병래(Byung Lae An) 한국IT서비스학회 2005 한국IT서비스학회지 Vol.4 No.2
Inter operability among defense information systems is one of the most Important technologies in the modern information and electronic wars. Computer-aided interviewing has been used in popular for measuring the interoperability among information systems in military domain. In this paper, we suggest a new approach, testing after interviewing, in order to resolve the weakness of interviewing approach. In the testing after reviewing approach, the potential level of interoperability predicted by computer-aided interviewing is explored by distributed testing techniques. For this purpose, test requirements of each interoperability level are identified and appropriate testing model and test cases are suggested. Finally, a distributed testing tool is designed for automating the execution of suggested test cases.