효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구A Comparative Study of C Program Mutation Tools for Effective Mutation Analysis: A Case Study of Proteum and Milu

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 324
  • Download : 0
DC FieldValueLanguage
dc.contributor.author김윤호ko
dc.contributor.author김현우ko
dc.contributor.author양웅규ko
dc.contributor.author김문주ko
dc.date.accessioned2018-11-22T07:10:27Z-
dc.date.available2018-11-22T07:10:27Z-
dc.date.created2018-11-19-
dc.date.created2018-11-19-
dc.date.created2018-11-19-
dc.date.created2018-11-19-
dc.date.issued2018-04-
dc.identifier.citation정보과학회논문지, v.45, no.4, pp.342 - 347-
dc.identifier.issn2383-630X-
dc.identifier.urihttp://hdl.handle.net/10203/246954-
dc.description.abstract변이 분석은 분석 대상 프로그램의 코드를 변형한 프로그램 변이를 실행해 프로그램 변형에 따른 실행 결과 변화를 분석하는 기법이다. 프로그램 변이 분석이 효과적이기 위해선 프로그램 변이 도구가 효과적인 프로그램 변이를 생성할 수 있어야 한다. 예를 들어 생성된 프로그램 변이가 분석 대상 프로그램과 의미가 동일한 동등 변이거나 다른 변이와 의미가 동일한 중복 변이인 경우 변이 분석을 통한 다양한 실행결과 변화를 볼 수 없기 때문에 변이 분석에 효과적이지 않다. 본 논문에서는 C 프로그램의 효과적인 변이 분석을 위해 변이 도구 Proteum과 Milu를 대상으로 얼마나 효과적인 프로그램 변이를 생성하는지 비교하였다. 효율적으로 효과적인 프로그램 변이를 생성하기 위해 변이된 표현식의 정규형을 계산하고 정규형이 같은 변이를 중복 변이로 제거하였다. SIR 벤치마크의 4개 Linux/Unix 유틸리티 프로그램 프로그램을 대상으로 적용한 결과 Proteum과 Milu가 생성한 변이 중 각각 평균 48.7%, 46.4%가 유용한 변이였다.-
dc.languageKorean-
dc.publisher한국정보과학회-
dc.title효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구-
dc.title.alternativeA Comparative Study of C Program Mutation Tools for Effective Mutation Analysis: A Case Study of Proteum and Milu-
dc.typeArticle-
dc.type.rimsART-
dc.citation.volume45-
dc.citation.issue4-
dc.citation.beginningpage342-
dc.citation.endingpage347-
dc.citation.publicationname정보과학회논문지-
dc.identifier.kciidART002336563-
dc.contributor.localauthor김문주-
dc.contributor.nonIdAuthor김현우-
dc.contributor.nonIdAuthor양웅규-
dc.description.isOpenAccessN-
dc.subject.keywordPlusmutation analysis-
dc.subject.keywordPlusprogram mutation-
dc.subject.keywordPlusmutation testing-
dc.subject.keywordPlusC program-
dc.subject.keywordPlussoftware testing-
dc.subject.keywordPlus변이 분석-
dc.subject.keywordPlus프로그램 변형-
dc.subject.keywordPlus변이 테스트-
dc.subject.keywordPlusC 프로그램-
dc.subject.keywordPlus소프트웨어 테스팅-
Appears in Collection
CS-Journal 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