DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Moonzoo | - |
dc.contributor.advisor | 김문주 | - |
dc.contributor.author | Phan, Duy Loc | - |
dc.date.accessioned | 2021-05-13T19:32:41Z | - |
dc.date.available | 2021-05-13T19:32:41Z | - |
dc.date.issued | 2020 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=911022&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/284687 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학부, 2020.2,[iv, 41 p. :] | - |
dc.description.abstract | Although mutation analysis is important for various software analysis tasks, there exists no practical mutation tools for modern, complex, real-world C programs. I have developed MUSIC (MUtation analySIs tool with high Configurability and extensibility) which generates mutants for modern complex real-world C programs. I have conducted a case study on Siemens benchmark programs and a modern real-world C program cURL to compare MUSIC with Milu, Proteum in terms of applicability and number of stillborn (i.e. syntactically illegal) mutants generated. In this case study, MUSIC successfully generates mutants without any stillborn mutants. Another serious obstacle for mutation analysis is the huge cost of running test suites on a large number of mutants. To resolve this problem, I have proposed a new mutation operator-based mutant reduction technique REFINER which applies cost-considerate linear regression (i.e., CLARS) on finegrained mutation operators. Also, I have applied REFINER to predict hard-to-kill mutation score which is more valuable to measure test suite quality than commonly used mutation score. The experiment results show that, while sustaining accurate prediction power to estimate hardto-kill mutation score, REFINER selects far fewer mutants than CLARS on the traditional mutation operators (i.e., 2.0% vs. 16.5%). Also, REFINER predicts hard-to-kill mutation score 4.5, 4.4, and 4.3 times more accurate than mutant reduction techniques that use random selection, Offutt’s four mutation operators selection, and, only SSDL mutation operator respectively. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Mutation Analysis▼aPractical Mutation Tool▼aC Programs▼aHard-to-kill Mutation Score Prediction▼aFine-grained Mutation Operator▼aMutant Reduction▼aCost-considerate linear regression | - |
dc.subject | 변이 분석▼a실용적인 변이 생성 도구▼aC 프로그램▼a죽이기 어려운 변이의 비율 예측▼a세분화된 변이 연산자▼a변이 생성 수 절감▼a효율적인 직선회귀 기법 | - |
dc.title | Effective mutant reduction using fine-grained mutation operators | - |
dc.title.alternative | 세분화된 변이 연산자를 활용한 효과적인 변이 생성 수 절감 기법 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
dc.contributor.alternativeauthor | 판, 뒤 록 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.