불확정성을 내포한 실시간 병렬 프로그램의 검증

배현섭,Bae, Hyeon-Seop 한국정보과학회 소프트웨어공학 소사이어티 1998 소프트웨어공학회지 Vol.11 No.1

임베디드 소프트웨어 테스팅 이슈 및 현황

배현섭(Hyun Seop Bae),윤광식(Gwang Sik Yoon),오승욱(Seung Uk Oh) 한국정보과학회 2006 정보과학회지 Vol.24 No.8

정적 분석 정보를 이용한 병행 프로그램 재수행 방법

배현섭(Hyun Seop Bae),권용래(Yong Rae Kwon) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B

메시지 기반 병행 프로그램은 내재된 병행성과 비결정성 때문에 동일한 입력을 가지고 반복 수행했을 때 서로 다른 결과를 산출할 가능성이 있다. 따라서 디버깅과 테스팅을 위해서는 재수행성 보장 방법이 필수적이다. 재수행을 보장하기 위해서는 수행중에 발생한 비결정성을 재현할 필요가 있으므로 프로그램을 처음 수행할 때에 재수행을 대비해서 수행 도중에 발생하는 비결정성을 기록해야 한다. 이를 위해서 기록을 위한 코드를 프로그램 내에 삽입하는데 삽입된 코드들은 필연적으로 프로세스 수행을 지연시키고 프로그램의 원래 행동을 방해하는 문제를 가지고 있다. 그러므로 되도록 적은 양의 코드를 삽입하면서도 재수행성을 보장하는 방법이 필요하다. 이 논문에서는 프로그램에 대한 정적 분석을 통해서 얻은 정보를 기반으로 재수행성을 보장하는 방법을 제시한다. 이 방법은 정적 분석을 통해서 프로세스 내에 포함된 문장들의 병행 수행 가능성을 검증하고 이를 바탕으로 비결정성 발생 가능성을 탐지한다. 또한 정적 분석 결과를 바탕으로 비결정성이 발생 가능한 문장에 대해서만 기록 코드를 삽입한다. 이와 같은 방법으로 적은 양의 코드 삽입으로 재수행성을 보장할 수 있다.

국방정보시스템 간의 상호운용성 시험 기법

배현섭(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.

전역변수에 대한 모듈간 흐름분석 방법

배현섭(Hyun Seop Bae),김현수(Hyeon Soo Kim),정인상(In Sang Chung),권용래(Yong Rae Kwon) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1

프로그램을 이해하는 데 가장 중요하고 어려운 요소 중의 하나는 모듈간의 자료흐름을 이해하는 일이다. 모듈간의 자료교환 방법은 크게 파라미터에 의한 방법과 전역변수에 의한 방법이 있는데, 기존의 프로그램 분석 방법들은 파라미터를 분석하는 데 중점을 두었으며 전역변수는 각 모듈에 대한 추가적인 파라미터로 취급했다. 이런 방법으로 프로그램을 분석하면 프로그램 분석 그래프에서 전역변수를 사용하지 않는 모듈내에도 전역변수가 나타나므로 결국 프로그램에 대한 이해와 관리를 어렵게 한다. 이 연구에서는 전역변수를 정확하게 분석하기 위한 새로운 모듈간 흐름분석 방법을 제시한다. 모듈 호출시의 문맥에 기반을 둔 Call Context Graph를 사용하여 모듈간 흐름분석을 수행함으로써 recursion 문제와 aliasing 문제를 해결하였다. 여기서 제시된 방법을 사용하면 전역변수에 대한 정확한 정보를 구할 수 있게 되고 따라서 전역변수에 관련된 도구들을 효과적으로 사용할 수 있게 된다.

검출 후 재수행 기법을 이용한 메시지 기반 병렬 프로그램의 디버깅

배현섭(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.

소프트웨어 시험 단계별 자동화 지원 도구

배현섭(Hyun Seop Bae) 한국정보과학회 2005 정보과학회지 Vol.23 No.3

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.

철도시스템 고안전 소프트웨어 검증을 위한 도구 개발 방안 및 설계

윤광식,배현섭,Yun, Gwang-Sik,Bae, Hyeon-Seop 한국철도학회 2009 철도저널 Vol.12 No.6

어셈블리어 코드 기반의 메모리 오류 가능성 검출

김현수,김병만,배현섭,정인상,Kim, Hyun-Soo,Kim, Byeong-Man,Bae, Hyun-Seop,Chung, In-Sang 한국정보처리학회 2011 정보처리학회논문지D Vol.18 No.1

메모리 사용에 관련한 오류는 해당 프로그램뿐 아니라 시스템의 오작동을 유발할 수 있다. 특히 발생 빈도가 매우 낮은 일부 메모리 오류의 경우 제대로 된 동작 테스트를 할 수 없어, 오류에 대한 파악 및 수정이 힘들다. 이에 본 논문에서는 실행 프로그램을 역어셈블(Dis-Assemble)하여 만들어진 어셈블리어 코드를 구문 분석하여 명령어 전이도를 도출하고 이에 기반을 두어 메모리 사용 오류 가능성을 검출하는 방법을 제안하였다. 몇 가지 프로그램을 검사대상으로 선정하여 Local Memory Return Error, Null Pointer Access Error, Uninitialized Pointer Access Error를 검출하였으며 그 중 오픈 소스 프로젝트(Open Source Project)인 아파치 웹 서버와 PHP 스크립트 해석기에서도 메모리 사용 오류의 가능성이 있는 코드가 검출되었다. Memory errors can cause not only program malfunctions but also even unexpected system halt. Though a programmer checks memory errors, some memory errors with low occurrence frequency are missed to detect. In this paper, we propose a method for effectively detecting such memory errors using instruction transition diagrams through analyzing assembly codes obtained by disassembling an executable file. Out of various memory errors, local memory return errors, null pointer access errors and uninitialized pointer access errors are targeted for detection. When applying the proposed method to various programs including well-known open source programs such as Apache web server and PHP script interpreter, some potential memory errors are detected.