정보과학회논문지 (Journal of KIISE)
Current Result Document : 9 / 13
| 한글제목(Korean Title) |
Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구 |
| 영문제목(English Title) |
Mutagen4J: Effective Mutant Generation Tool for Java Programs |
| 저자(Author) |
전이루
김윤호
홍신
김문주
Yiru Jeon
Yunho Kim
Shin Hong
Moonzoo Kim
|
| 원문수록처(Citation) |
VOL 43 NO. 09 PP. 0974 ~ 0982 (2016. 09) |
한글내용
(Korean Abstract) |
프로그램 변이 분석은 분석대상 프로그램의 코드를 변형한 다양한 프로그램 변이를 활용해 분석대상 프로그램의 특성을 분석하는 기법이다. 효과적인 변이 분석을 위해서는 분석대상 프로그램의 동작을 다양하게 변화시키는 유용한 변형 연산자의 사용이 필수적이다. 현재까지 Java 프로그램을 대상으로 제안된 변이 생성 도구들은 변형 연산자의 종류가 제한적이거나, 최근 Java 언어 요소로 작성된 분석대상 프로그램의 경우 올바른 변이 생성을 지원하지 못하는 한계가 있다. 본 논문은 Java 프로그램을 위한 새로운 변이 생성 도구 Mutagen4J를 소개한다. Mutagen4J는 기존 연구를 통해 유용한 것으로 알려진 프로그램 변형 연산자를 추가로 지원하며, 최근 Java 언어요소를 처리함으로써, Java 프로그램에 대한 효과적인 변이 분석을 지원한다. 기존 Java 프로그램 변이 생성 도구와 비교 실험을 수행한 결과, Mutagen4J이 기존 도구보다 유용한 변이를 평균 2.3배 생성하였다.
|
영문내용
(English Abstract) |
Mutation analysis (or software mutation analysis) generates variants of a target program by injecting systematic code changes to the target program, and utilizes the variants to analyze the target program behaviors. Effective mutation analyses require adequate mutation operators that generate diverse variants for use in the analysis. However, the current mutation analysis tools for Java programs have limitations, since they support only limited types of mutation operators and do not support recent language features such as Java8. In this study, we present Mutagen4J, a new mutant generation tool for Java programs. Mutagen4J additionally supports mutation operators recently shown to generate various mutants and fully supports recent Java language features. The experimental results show that Mutagen4J generates useful mutants for analyses 2.3 times more than the existing Java mutation tools used for the study.
|
| 키워드(Keyword) |
소프트웨어 테스팅
프로그램 변이 분석
프로그램 변형
프로그램 변이 테스트
Java 프로그램
software testing
mutation analysis
program mutation
mutation testing
java programs
|
| 파일첨부 |
PDF 다운로드
|
