COMUT: 사용자의 의도대로 효과적인 변이를 생성할 수 있는 C 프로그램 변이 도구COMUT: A Configurable Mutant Generation Tool for C programs for effective and efficient mutation analysis

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 258
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorPhan Duy Locko
dc.contributor.author김문주ko
dc.contributor.author고봉석ko
dc.contributor.author김윤호ko
dc.date.accessioned2019-04-16T05:50:07Z-
dc.date.available2019-04-16T05:50:07Z-
dc.date.created2019-04-05-
dc.date.issued2017-12-21-
dc.identifier.citation2017 한국소프트웨어종합학술대회-
dc.identifier.urihttp://hdl.handle.net/10203/260782-
dc.description.abstractCOMUT(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.languageKorean-
dc.publisher한국정보과학회-
dc.titleCOMUT: 사용자의 의도대로 효과적인 변이를 생성할 수 있는 C 프로그램 변이 도구-
dc.title.alternativeCOMUT: A Configurable Mutant Generation Tool for C programs for effective and efficient mutation analysis-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.publicationname2017 한국소프트웨어종합학술대회-
dc.identifier.conferencecountryKO-
dc.identifier.conferencelocation부산 벡스코-
dc.contributor.localauthor김문주-
dc.contributor.nonIdAuthorPhan Duy Loc-
dc.contributor.nonIdAuthor김윤호-
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0