리테스트는 수정된 코드는 확인하는 과정으로 본 논문에서는 수정된 코드를 실행 하는데 필요한 리테스팅의 영역과 횟수를 명시적으로 나타내는 방법론을 제시한다. 목적함수를 최소화하기 위하여 제어 흐름 분석을 통한 연결 매트릭스, 도달가능 매트 릭스와 테스트 케이스/참조 매트릭스를 사용할 뿐만 아니라 데이터 의존성 분석에 의 한 Set/Use 매트릭스를 이용하였다. 목적함수의 최소값에 의하여 재사용되는 최소갯수 의 테스트 케이스를 얻을 수 있으며, 이를 근거로 하여 수정시의 신뢰도 및 비용효과 를 가져올 수 있는 리테스팅 틀을 개발한다.
Retest arises when attemptint to validate code modifications. This paper proposes a retest methodology which explicitly defines the amount of retesting to be performed for any given code change. In order to minimize the objective function, we use the set/use matrix through analysis of data dependence as well as the connectivity, reachability, and test case/reference matrix through program control flow analysis. The value of objective function will give the minimum number of test cases necessary to assure the proposed methodology, we develope the retesting tool for generating mininum test cases based on the function.
