The information about the effectiveness of program test methods aids to increase one's confidence in the programs tested by them. This thesis presents results of an experimental evaluation of branch testing, weak mutation testing, random testing, and specification testing. In addition the effect of special/extremal values testing is analyzed also. Mutation analysis provides a quantitative measure of comparison for the quality of a set of test cases. Test data sets are generated according to the requirements of each of the strategies and executed by a mutation system on sample programs, then the execution results are analyzed.
프로그램을 테스팅할 때 우리가 사용하는 테스트 기법들이 가지고 있는 오류 검색 특성을 알고있다면 보다 효과적인 테스팅을 할 수가 있다. 본 논문에서는 Branch, Weak Mutation, Random, Specification 테스팅 기법들이 갖고있는 오류 검색 기능이 실험적으로 측정 비교되었다. 또한 Special/Extremal Values 테스팅 방법이 위의 네가지 기법들을 보완하는 효과도 분석되었다.
오류 검색 기능을 정량적으로 비교하기 위해 프로그램 변형 분석법이 사용되었다. 실험 과정은 Sample 프로그램과 각각의 테스트 기법이 요구하는 조건을 만족하는 테스트 데이타를 마련하고, 테스트 데이타를 변형 분석 프로그램을 이용하여 Sample 프로그램에 실행하여 그 결과를 비교 분석하는 것으로 요약된다.
