효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구A Comparative Study of C Program Mutation Tools for Effective Mutation Analysis: A Case Study of Proteum and Milu
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 김윤호 | ko |
| dc.contributor.author | 김현우 | ko |
| dc.contributor.author | 양웅규 | ko |
| dc.contributor.author | 김문주 | ko |
| dc.date.accessioned | 2018-11-22T07:10:27Z | - |
| dc.date.available | 2018-11-22T07:10:27Z | - |
| dc.date.created | 2018-11-19 | - |
| dc.date.created | 2018-11-19 | - |
| dc.date.created | 2018-11-19 | - |
| dc.date.created | 2018-11-19 | - |
| dc.date.issued | 2018-04 | - |
| dc.identifier.citation | 정보과학회논문지, v.45, no.4, pp.342 - 347 | - |
| dc.identifier.issn | 2383-630X | - |
| dc.identifier.uri | http://hdl.handle.net/10203/246954 | - |
| dc.description.abstract | 변이 분석은 분석 대상 프로그램의 코드를 변형한 프로그램 변이를 실행해 프로그램 변형에 따른 실행 결과 변화를 분석하는 기법이다. 프로그램 변이 분석이 효과적이기 위해선 프로그램 변이 도구가 효과적인 프로그램 변이를 생성할 수 있어야 한다. 예를 들어 생성된 프로그램 변이가 분석 대상 프로그램과 의미가 동일한 동등 변이거나 다른 변이와 의미가 동일한 중복 변이인 경우 변이 분석을 통한 다양한 실행결과 변화를 볼 수 없기 때문에 변이 분석에 효과적이지 않다. 본 논문에서는 C 프로그램의 효과적인 변이 분석을 위해 변이 도구 Proteum과 Milu를 대상으로 얼마나 효과적인 프로그램 변이를 생성하는지 비교하였다. 효율적으로 효과적인 프로그램 변이를 생성하기 위해 변이된 표현식의 정규형을 계산하고 정규형이 같은 변이를 중복 변이로 제거하였다. SIR 벤치마크의 4개 Linux/Unix 유틸리티 프로그램 프로그램을 대상으로 적용한 결과 Proteum과 Milu가 생성한 변이 중 각각 평균 48.7%, 46.4%가 유용한 변이였다. | - |
| dc.language | Korean | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | 효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구 | - |
| dc.title.alternative | A Comparative Study of C Program Mutation Tools for Effective Mutation Analysis: A Case Study of Proteum and Milu | - |
| dc.type | Article | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 45 | - |
| dc.citation.issue | 4 | - |
| dc.citation.beginningpage | 342 | - |
| dc.citation.endingpage | 347 | - |
| dc.citation.publicationname | 정보과학회논문지 | - |
| dc.identifier.kciid | ART002336563 | - |
| dc.contributor.localauthor | 김문주 | - |
| dc.contributor.nonIdAuthor | 김현우 | - |
| dc.contributor.nonIdAuthor | 양웅규 | - |
| dc.description.isOpenAccess | N | - |
| dc.subject.keywordPlus | mutation analysis | - |
| dc.subject.keywordPlus | program mutation | - |
| dc.subject.keywordPlus | mutation testing | - |
| dc.subject.keywordPlus | C program | - |
| dc.subject.keywordPlus | software testing | - |
| dc.subject.keywordPlus | 변이 분석 | - |
| dc.subject.keywordPlus | 프로그램 변형 | - |
| dc.subject.keywordPlus | 변이 테스트 | - |
| dc.subject.keywordPlus | C 프로그램 | - |
| dc.subject.keywordPlus | 소프트웨어 테스팅 | - |
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.