C 프로그램을 테스팅하기 위한 분기 커버리지에 기반을 둔 자동 테스트 데이터 생성

국문 초록 (Abstract)

소프트웨어 테스팅이 소프트웨어 개발 비용의 상당 부분을 차지하는 것은 잘 알려진 사실이다. 소프트웨어 테스팅 비용을 줄이기 위해 소프트웨어 테스트 데이터를 자동으로 생성하는 방법에 많은 연구가 이루어지고 있다. 일반적으로 테스트 데이터 자동 생성을 지원하기 위해 심볼릭 실행기나 제약 해결기와 같은 정교한 도구들을 요구한다. 그러나 이와 같은 도구들을 개발하거나 구입하는 것은 소프트웨어 테스트 관련 비용을 증가시키는 또 다른 요소로 작용된다. 이 논문에서는 심볼릭 실행이나 제약 해결에 의존되지 않는 동적 테스트 데이터 방법을 제안한다. 제안된 방식은 분기 커버리지 기준을 효과적으로 만족하도록 Korel의 경로 지향 테스트 데이터 생성 방법을 확장한다. 이 논문에서는 삼각형 분류 프로그램에 대한 실험을 통하여 제안된 방법이 분기 커버리지를 매우 효과적으로 달성함을 보인다.

다국어 초록 (Multilingual Abstract)

It is well known that software testing amounts for a significant portion of software development cost. In order to reduce the cost of software testing. a lot of researches on automated test data generation have been performed. Sophisticated tools for performing symbolic execution or solving a system of path constraints are required to support automated test data generation. Developing or purchasing those tools leads to another factor of increasing the cost involving software testing. In this paper, we propose a dynamic test data generation approach that does not depend on symbolic execution or constraint solving at all. The proposed approach extends Korels path-oriented method to satisfy the branch coverage criterion effectively. We conducted an experiment to evaluate the effectiveness of the proposed technique with a triangle classification program to show that branch coverage can be easily achieved.

목차 (Table of Contents)

• 요약
• Abstract
• Ⅰ. 서론
• Ⅱ. 배경
• Ⅲ. 테스트 데이터 생성
• Ⅳ. 구현 및 평가
• Ⅴ. 결론 및 향후 연구
• 참고문헌

참고문헌 (Reference)

1 정인상, "실행가능 목적 코드를 기반으로 하는 자동 테스트 데이터 생성" 한국인터넷방송통신학회 12 (12): 189-197, 2012

2 정인상, "목적 지향 콘콜릭 테스팅" 한국정보과학회 37 (37): 768-772, 2010

3 "http://cil.sourceforge.net/"

4 P. McMinn, "Search-based Software Test Data Generation: A Surveym" 14 (14): 105-156, 2004

5 J. Burnim, "Heuristics for dynamic test generation" 443-446, 2008

6 정인상, "HanTestCC: C 프로그램의 자동 테스트 데이터 생성을 위한 프로그램 변환 및 탐침 도구" 2012

7 P. Godefroid, "DART: Directed automated random testing" 213-223, 2005

8 김윤호, "CREST-BV: 임베디드소프트웨어를 위한 Bitwise 연산을 지원하는Concolic 테스팅 기법"

9 B. Korel, "Automated Software Test Data Generation" 16 (16): 870-879, 1990

10 M. J. Gallagher, "ADTEST: A Test Data Generation Suite forAda Software Systems" 23 (23): 473-484, 1997

11 L. A. Clarke, "A System to Generate Test Data and Symbolically Execute Program" 2 (2): 215-222, 1976

12 J. Edvardsson, "A Survey on Automatic Test Data Generation" 21-28, 1999