목적 지향 콘콜릭 테스팅

Abstract

콘콜릭 테스트는 높은 테스트 커버리지를 달성하기 위해 실제 프로그램의 실행(Concrete Execution)과 심볼릭 실행(Symbolic Execution)을 결합하여 테스트 데이터를 생성한다. CREST는 콘콜릭 테스트를 구현한 open-source로 C/C++로 작성된 프로그램을 테스트할 수 있는 대표적인 테스트 도구이다. 그러나 현재 CREST는 기본적으로 프로그램의 실행가능한 모든 경로를 탐색하는 것을 목적으로 하고 있기 때문에 특정 분기 또는 블록만을 테스트하는 경우에는 비효율적일 수 있다. 본 논문에서는 프로그램 상의 한 분기 또는 블록을 지정하고 이를 실행할 수 있는 테스트 데이터를 생성하는 목적 지향 콘콜릭 테스트 방법을 제안한다.