COMUT: 사용자의 의도대로 효과적인 변이를 생성할 수 있는 C 프로그램 변이 도구

Abstract

COMUT(Configurable MUtation Tool)은 C 프로그램 변이 분석에 사용할 수 있는 변이 도구로써 사용자에게 변이 생성을 통제할 수 있는 옵션을 제공하여 변이 분석에 효과적인 변이를 많이 만들 수 있도록 한다. 본 논문에서는 SIR 벤치마크의 grep 프로그램을 이용하여 COMUT의 장점을 보였다. 첫 번째로 일반적인 상황에서 COMUT과 Milu가 grep 프로그램에 대해 효과적인 변이를 얼마나 생성하는지를 비교하였다. 실험 결과 COMUT은 효과적인 변이를 7.9% 만들었으며 Milu는 2.0% 만들었다. 또한 COMUT의 변이 생성 통제 옵션의 유용성을 보이기 위해 grep 프로그램에서 복잡성 지표가 가장 높은 regex_compile 함수에 대해 유저가 변이 생성을 통제하는 조건을 사용했을 때와 사용하지 않았을 때 각각 효과적인 변이를 생성하는 비율을 측정하였다. 그 결과 아무런 조건을 사용하지 않았을 때 전체 변이 219개 중 68.90%의 효과적인 변이를 생성했고 유저가제약 조건을 사용했을 때 전체 변이 96개 중 효과적인 변이의 비율은 75.00%였다. 제약 조건을 사용함으로써 전체 생성된 변이의 개수가 줄어든데다가 효과적인 변이의 비율도 높아졌기에 COMUT으로 유저가 변이 생성을통제할 경우 변이 분석의 비용을 줄일 수 있고 변이 분석의 효과가 상승할 수 있다.