신뢰성있는 시험데이타 선택을 위한 경로도메인 기반신뢰도 제시

Abstract

프로그램시험(program testing)의 신뢰성있는 수행을 위해 현재까지 데이타부분시험(data part testing) [1-11] 분야에서 다양한 시험데이타선택방법(test data selection strategy)들이 제안되었다. 하지만 이들에 의해 추출한 시험데이타가 오류를 검출하는데 있어서 얼마나 신뢰성 있는지는 의문일 뿐만 아니라 구체적인 시험수행방법을 제시하지 못한채 이론에만 그치고 있다. 이는 오류의 유형 및 그 오류가 프로그램에 미치는 특성을 제대로 분석하지 않았기 때문에 발생한다. 본 논문의 목적은 이 문제점을 해결하기 위해 우선적으로 오류를 경로도메인 관점에서 재정의하고, 선택한 데이타의 오류검출확률 즉, 신뢰도를 수식적으로 제시함으로써, 신뢰성있는 시험데이타선택방법을 제시하기 위한 이론적 바탕을 제공하는 데에 있다.