Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2001.10a
- /
- Pages.460-462
- /
- 2001
- /
- 1598-5164(pISSN)
Automatic Test Data Generation Using Abstract Interpretation
요약 해석을 이용한 데스트 데이터 자동 생성 기법
Abstract
테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 데스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이틀 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서 는 프로그램을 실 행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법 을 제안한다.
Keywords