Evaluation of CAVM, Austin, and CodeScroll for Test Data Generation for C

요 약 본 연구는 새로운 검색 기반 C 언어 테스트 데이터 생성 도구인 CAVM 을 제시한다. CAVM 은 상용화된 테스트 데이터 도구인 CodeScroll 을 향상하기 위해서 개발되었다. CodeScroll 은 정적 분석과 입력 파티셔닝 기법을 사용하여 테스트 데이터를 생성한다. 현재의 최첨단 C 언어용 자동 테스트 데이터 생성 도구인 Austin 과 다르게 CAVM 은 순수하게 검색 기반 기법 만을 사용하여 동적 자료 구조 데이터를 생성한다. 본 연구는 CAVM 을 49 개의 실험 대상 함수를 이용해 Austin 및 CodeScroll 과 비교하였다. 대상 함수는 소규모의 안티 패턴 케이스 및 실제 프로덕트 레벨의 오픈 소스 코드와 상용 코드로부터 수집하였다. 비교 결과 CAVM 은 CodeScroll 과 Austin 이 커버하지 못하는 분기들을 커버할 수 있었으며, 20 개의 대상 함수에서 가장 높은 분기 커버리지를 달성하였다.