Although object-oriented programming languages offer powerful programming features, they also introduce certain kinds of faults some which are difficult to detect, diagnose and correct. Many researches have been made on the object-oriented program testing in order to properly handle those object-oriented features, but researches on mutation testing of non-object-oriented features at the method-level was almost neglected. This thesis presents a mutation testing technique aimed at detecting simple faults that are revealed at the method-level. Although the effectiveness of mutation testing depends heavily on mutation operators, previously developed mutation operators for procedural languages are inadequate for the object-oriented languages. Therefore, we have first developed a set of method-level mutation operators designed to alter primitive operators in Java. We have also designed method-level mutation operators are to be directly applied to bytecode instructions since performing mutation analysis using bytecode is more cost effective.
As the number of mutants produced by method-level mutation operators is so large, we have chosen a selective set of method-level mutation operators that reduces the number of mutants generated with tolerable effectiveness in mutation testing.
객체지향 언어가 제공하는 프로그래밍 특성들은 효율적인 설계와 뛰어난 재사용이라는 장점을 제공하는 동시에, 기존의 순차적 프로그램과 마찬가지로 다양한 오류들을 발생시킨다. 객체지향 프로그램을 시험하기 위한 기존의 시험 기법들은 대부분 객체지향적 특성들만을 고려하여 제안되어왔다. 본 논문에서는 객체지향 프로그램의 메소드 수준에서 발생하는 객체지향적 특성을 가지고 있지 않은 단순한 오류들을 검출하기 위한 뮤테이션 기법들을 제안 하였다. 또한 뮤테이션 시험의 문제점 중 하나인 고가의 수행비용을 줄이기 위한 방법을 제안하였다.
오류기반 시험 기법인 뮤테이션 시험은 다른 오류기반 시험 기법들과 마찬가지로 취급하려 하는 오류의 정의에 따라 그 효율성이 결정되는데, 뮤테이션 시험기법에서 이는 뮤테이션 연산자들을 통해 이루어지므로 이들의 개발은 매우 중요하다. 하지만 기존의 순차적 프로그램의 뮤테이션 시험을 위하여 개발된 뮤테이션 연산자들은 프로그래밍 언어의 문법적 차이로 인하여 그대로 객체지향 언어에 적용시키기에는 무리가 따른다. 본 논문에서는 자바 언어를 대상으로 메소드 수준에서 소스코드에 오류를 삽입할 수 뮤테이션 연산자를 제안하고, 효율적 수행 비용을 위하여 메소드 수준에서 바이트코드에 오류를 삽입할 수 있는 뮤테이션 연산자도 제안 하였다.
일반적으로 뮤테이션 시험은 거대한 수행 비용을 요하므로 이를 절감하기 위한 많은 연구들이 있어왔으며, 이의 일환으로 뮤테이션 연산자의 선택적 집합 (Selective Set) 에 대한 제안이 이루어져 왔다. 본 논문에서는 수행비용 절감을 목적으로 제안하였던 메소드 수준의 뮤테이션 연산자를 대상으로 수용 가능한 효율성 한도 내에서 선택적 집합을 추출하는 실험을 수행하였다.
