DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kwon, Yong-Rae | - |
dc.contributor.advisor | 권용래 | - |
dc.contributor.author | Ma, Yu-Seung | - |
dc.contributor.author | 마유승 | - |
dc.date.accessioned | 2011-12-13T05:21:12Z | - |
dc.date.available | 2011-12-13T05:21:12Z | - |
dc.date.issued | 2005 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=244973&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/32890 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 전산학전공, 2005.2, [ vii, 94 p. ] | - |
dc.description.abstract | Although object-oriented features such as encapsulation, inheritance, and polymorphism provide powerful features, they introduce new kinds of faults, some of which are difficult to detect, diagnose, and correct. Many research have been made on the object-oriented program testing, but there is little research handling object-oriented features well. This thesis presents a mutation testing technique aiming at detecting faults in the use of object-oriented features. The effectiveness of mutation testing depends heavily on mutation operators. However, previously developed operators are insufficient to test the object-oriented language features. Therefore, we developed a comprehensive set of class mutation operators first. Our mutation operators are based on all possible usage patterns of the object-oriented features, and can be used to detect faults involving inheritance, polymorphism, and dynamic binding, thus are useful for inter-class testing. The cost of mutation testing has traditionally been so high, thus the mutation testing without tool support is almost impossible. We developed an automated mutation tool that supports whole mutation process and graphical user interface for ease of use. Also, to reduce execution cost of mutation testing, we devised a cost reduction method, which uses two key technologies, Mutant Schemata Generation (MSG) and bytecode translation. This method adapts the existing MSG method for mutants that change the program behavior and uses bytecode translation for mutants that change the program structure. A key advantage is in performance: only two compilations are required and both the compilation and execution time for each is greatly reduced. Experimental results show that our cost reduction method is about five times faster than separate compilation. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Object-oriented features | - |
dc.subject | Mutation testing | - |
dc.subject | Java | - |
dc.subject | 자바 | - |
dc.subject | 객체지향 프로그램 | - |
dc.subject | 뮤테이션 테스팅 | - |
dc.title | Mutation testing of object-oriented features of Java | - |
dc.title.alternative | 자바프로그램의 객체지향 특성을 대상으로 하는 뮤테이션 시험기법 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 244973/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 020005107 | - |
dc.contributor.localauthor | Kwon, Yong-Rae | - |
dc.contributor.localauthor | 권용래 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.