DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Bae, Doo-Hwan | - |
dc.contributor.advisor | 배두환 | - |
dc.contributor.author | Jang, Won-Ho | - |
dc.contributor.author | 장원호 | - |
dc.date.accessioned | 2011-12-13T06:08:58Z | - |
dc.date.available | 2011-12-13T06:08:58Z | - |
dc.date.issued | 2010 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=419250&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34920 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 2010.2, [ vi, 60 p. ] | - |
dc.description.abstract | Mutation testing is known as a very useful technique for measuring the effectiveness of a test data set and finding weak points of the test set. Mutation testing produces huge number of programs, called mutants, that are almost identical to the original program except only one statement. Equivalent mutants are mutants which result same output to the original program with any test data. Equivalent mutants are produced naturally in mutation testing process, and equivalent mutants are not detected by any test data. Therefore, an equivalent mutant degrades the effectiveness of mutation testing. Elimination of equivalent mutants is a very important problem in mutation testing. In this paper, we proposed three kinds of methods for detecting class-level equivalent mutants. These methods judge the equivalency of mutants through structural informations and behavioral information of the original program and mutants using static analysis. And we showed the effectiveness of our approach through experiments specifically designed for this research. We found that our approach can detect not a few of equivalent mutants and expected that the cost of mutation testing can be saved considerably. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Mutation Analysis | - |
dc.subject | Testing | - |
dc.subject | Equivalent Mutant | - |
dc.subject | 동등 뮤턴트 | - |
dc.subject | 뮤테이션 분석 | - |
dc.subject | 테스팅 | - |
dc.title | Equivalent mutation detection methods for class-level mutation analysis | - |
dc.title.alternative | 클래스 수준 뮤테이션 분석을 위한 동등 뮤턴트 검출 기법 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 419250/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 020083449 | - |
dc.contributor.localauthor | Bae, Doo-Hwan | - |
dc.contributor.localauthor | 배두환 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.