DC Field | Value | Language |
---|---|---|
dc.contributor.author | Phan Duy Loc | ko |
dc.contributor.author | 김문주 | ko |
dc.contributor.author | 고봉석 | ko |
dc.contributor.author | 김윤호 | ko |
dc.date.accessioned | 2019-04-16T05:50:07Z | - |
dc.date.available | 2019-04-16T05:50:07Z | - |
dc.date.created | 2019-04-05 | - |
dc.date.issued | 2017-12-21 | - |
dc.identifier.citation | 2017 한국소프트웨어종합학술대회 | - |
dc.identifier.uri | http://hdl.handle.net/10203/260782 | - |
dc.description.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으로 유저가 변이 생성을통제할 경우 변이 분석의 비용을 줄일 수 있고 변이 분석의 효과가 상승할 수 있다. | - |
dc.language | Korean | - |
dc.publisher | 한국정보과학회 | - |
dc.title | COMUT: 사용자의 의도대로 효과적인 변이를 생성할 수 있는 C 프로그램 변이 도구 | - |
dc.title.alternative | COMUT: A Configurable Mutant Generation Tool for C programs for effective and efficient mutation analysis | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.citation.publicationname | 2017 한국소프트웨어종합학술대회 | - |
dc.identifier.conferencecountry | KO | - |
dc.identifier.conferencelocation | 부산 벡스코 | - |
dc.contributor.localauthor | 김문주 | - |
dc.contributor.nonIdAuthor | Phan Duy Loc | - |
dc.contributor.nonIdAuthor | 김윤호 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.