KSC 2017
Current Result Document : 1 / 1
| 한글제목(Korean Title) |
COMUT: 사용자의 의도대로 효과적인 변이를 생성할 수 있는 C 프로그램 변이 도구 |
| 영문제목(English Title) |
COMUT: A Configurable Mutant Generation Tool for C programs for effective and efficient mutation analysis |
| 저자(Author) |
Phan Duy Loc
고봉석
김윤호
김문주
Phan Duy Loc
Bongeok Ko
Yunho Kim
Moonzoo Kim
|
| 원문수록처(Citation) |
VOL 44 NO. 02 PP. 0548 ~ 0550 (2017. 12) |
한글내용
(Korean 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으로 유저가 변이 생성을 통제할 경우 변이 분석의 비용을 줄일 수 있고 변이 분석의 효과가 상승할 수 있다.
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
