CUTIG : 정적 분석을 이용한 C언어 단위 테스트 데이타 추출 자동화 도구 = CUTIG : An Automated C Unit Test Data Generator Using Static Analysis

다국어 초록 (Multilingual Abstract)

As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation.

국문 초록 (Abstract)

단위 시험은 지속적이고 반복적으로 수행되어야 하기 때문에 높은 비용을 필요로 하는 작업이다. 단위 시험의 자동화에 대한 많은 연구가 있었으나 테스트 데이타의 자동 추출에 대한 연구는 큰 성과를 이루지 못하고 있다. 본 연구에서는 소프트웨어의 소스 코드로부터 테스트 데이타를 자동으로 추출하는 방안에 대해 논의하고 각 단계의 알고리즘을 제시하였다. 또한 테스트 데이타 추출 자동화에 관한 이슈를 소개하고 테스트 데이타 추출 자동화 도구 CUTIG를 소개한다. CUTIG는 실제 소스코드를 이용하여 테스트 데이타를 추출하므로 소프트웨어의 요구사항 명세가 잘 작성되어 있지 않거나 실제 구현과 차이가 있는 경우에도 테스트 데이타를 생성할 수 있다. 또한 이 도구를 통해 개발자가 직접 테스트 데이타를 작성하는 데 소요되는 비용을 절감할 수 있기를 기대한다.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 기본 개념
• 3. 기호 실행을 이용한 테스트 데이타 추출의 자동화
• 4. CUTIG
• 5. 적용사례
• 6. 관련 연구
• 7. 결론 및 향후 연구
• 참고문헌

참고문헌 (Reference)

1 W. Visser, "Test Input Generation with Java PathFinder" 97-107, 2004

2 J. C. King, "Symbolic execution and program testing" 19 : 385-394, 1976

3 OCAML, "Objective Caml"

4 E. F. Moore, "Gedanken-experiments on sequential machines" 129-153, 1956

5 C. Pacheco, "Feedback-directed random test generation" Microsoft Research 2006

6 K. Sen, "CUTE A concolic unit testing engine for C" 263-272, 2005

7 CIL, "C Intermediate Language"

8 C. Bigot, "Automatic Test Generation with AGATHA" 591-596, 2003

9 B. Blanc, "Automated functional test case generation from data flow specifications using structural coverage criteria" 2006

10 V. Rusu, "An approach to symbolic test generation" 338-357, 2000

11 I. Sommerville, ""Software Engineering," 8th Edition" Addison-Wesley 2007