The test path selection criterion by a modified data flow based path testing strategy is studied to avoid an arbitrary path selection problem of a current path analysis testing strategy. The essential notion introduced by a data flow analysis is the "Data Context" at statement level. A testing strategy is determined to execute those paths along which all chosen ordered elementary data context of the data context are activated.
The limitations of a current data flow based testing strategies are analyzed, and the modified testing strategy is proposed for relaxation of limitation. It is shown that some properties by data flow analysis are applied for several purposes such as debugging aids, test case generation, program optimization, error detection and detection of data flow anomaly. As an example, a program containing errors is given to specify the effectiveness of the proposed testing strategy. Finally, the reliability of the proposed testing strategy is discussed.
어떤 프로그램을 테스팅 하는데 있어 테스트 경로들의 집합을 선택하는 문제는 중요하다. 현재의 경로 테스팅 전략을 임의로 테스트 경로들을 생성하므로 불필요한 경로들이 선택되는 경우가 있을 수 있다.
본 논문에서는 데이타 흐름 분석을 통해 테스트 될 프로그램에서 요구되는 경로만을 선택함으로써 어떤 테스트 coverage 척도를 마련할 수 있었다.
데이타 흐름 분석을 통해 도입되는 개념은 statement에서의 Data Context이다. 모든 선택된 ordered elementary data context들이 수행되도록 하는 경로들을 실행 시키도록 테스팅 전략이 결정될 수 있었다. 현재의 데이타 흐름에 기본을 둔 테스팅 전략들의 제한점들이 분석되고 이러한 제한점을 개선하기 위한 수정된 테스팅 전략이 마련되었다. 데이타 흐름 분석을 통해서 얻어지는 몇가지 특성들이 debugging, 테스트 케이스의 선택, 프로그램 최적화, 에러 검출 그리고 데이타 흐름의 anomaly를 검출하기 위해 응용될 수 있음도 보였다. 에러를 포함하는 프로그램을 통해서 제시된 테스팅 전략의 효율성과 그것의 신뢰도가 논의되었다.
