뮤턴트의 단일화를 통한 뮤테이션 테스트의 병렬화 기법 = Parallelizing the Mutation Testing through Mutant Unification

국문 초록 (Abstract)

소프트웨어 품질은 소프트웨어 개발에서 가장 중요하게 고려되는 문제이며, 이를 평가하기 위해서 소프트웨어 테스트는 필수적인 과정이다. 현재까지 여러가지 테스트 기술이 연구되어 왔으나, 테스트의 계산적 병목현상(computational bottleneck)은 테스트 과정을 지연시키는 가장 큰 요소이다.
본 논문에서는 테스트 방법중 하나인 뮤테이션 테스트(mutation test)의 병렬화에 의한 테스트 단계의 병목현상을 감소시키는 방안을 연구하였다. 뮤테이션 테스트의 병렬화를 위하여 여러 뮤턴트의 실행을 단일화 하는 ‘뮤턴트 단일화 알고리즘(mutant unification algorithm)을 제안한다. 단일화 알고리즘에 의해서 프로그램을 백터 프로세서로 실행하면 대부분의 프로그램 문장이 백터화된다. 단일화 과정의 하나인 다중 실행경로 관리(multiple execution path problem)를 단일화된 프로그램과 병렬로 실행하기 위하여 MIMD-vector 구조를 갖는 iPSC/2-vx 병렬 처리 컴퓨터를 구현대상으로 하였다.

다국어 초록 (Multilingual Abstract)

Software quality should be a primary concern in software development efforts, and the traditional methods of assessing software quality are software testing. A variety of testing techniques have been studied for many years, but their computational requirements slow down the testing process, and we must solve them.
In this paper, we consider the parallelizing the mutation testing to overcome the computational bottleneck in the software testing. We propose the mutant unification algorithm to parallelize the mutation testing. Since the unified program is vectorizable in the most statements, it works well on a vector processor. In order to execute the path management concurrently with the execution of the unified program we investigate our algorithm on iPSC/2-vx system of MIMD-vector processor.

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 뮤테이션 테스트의 계산적 병목현상
• 3. 뮤턴트 단일화에 의한 뮤테이션 테스트의 병렬화
• 4. 단일화 알고리즘의 평가
• 5. 결론과 연구 방향
• 참고문헌
• 저자소개