Browse > Article
http://dx.doi.org/10.5392/JKCA.2012.12.11.039

Automated Test Data Generation Based on Branch Coverage for Testing C Programs  

Chung, In-Sang (한성대학교 컴퓨터공학과)
Publication Information
The Journal of the Korea Contents Association / v.12, no.11, 2012 , pp. 39-48 More about this Journal
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 Korel's 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.
Keywords
Automated Test Data Generation; Branch Coverage; Software Testing;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 J. Edvardsson, "A Survey on Automatic Test Data Generation," Proceedings of the Second Conf. on Computer Science and Engineering, pp.21-28, 1999.
2 P. McMinn, "Search-based Software Test Data Generation: A Surveym," Software Testing, Verification and Reliability, Vol.14, No.2, pp.105-156, 2004.   DOI   ScienceOn
3 P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing," Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, Illinois, pp.213-223, 2005.
4 J. Burnim and K. Sen, "Heuristics for dynamic test generation," Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.443-446, 2008.
5 B. Korel, "Automated Software Test Data Generation," IEEE Trans. on Software Eng, Vol.16, No.8, pp.870-879, 1990.   DOI   ScienceOn
6 정인상, "실행가능 목적 코드를 기반으로 하는 자동 테스트 데이터 생성," 한국인터넷방송통신학회논문지, 제12권, 제2호, pp.189-197, 2012.   과학기술학회마을   DOI   ScienceOn
7 L. A. Clarke, "A System to Generate Test Data and Symbolically Execute Program," IEEE Trans. on Software Eng, Vol.2, No.3, pp.215-222, 1976.   DOI
8 M. J. Gallagher and V. L. Narasimhan. "ADTEST: A Test Data Generation Suite for Ada Software Systems," IEEE Trans. on Software Eng, Vol.23, No.8, pp.473-484, 1997.   DOI   ScienceOn
9 정인상, 박정규, "목적 지향 콘콜릭 테스팅", 정보과학회논문지, 제37권, 제10호, pp.768-772, 2010.   과학기술학회마을
10 정인상, "HanTestCC: C 프로그램의 자동 테스트 데이터 생성을 위한 프로그램 변환 및 탐침 도구", 한성대학교 공학연구 논문집, 5월호, 2012.
11 http://cil.sourceforge.net/
12 김윤호, 김문주, 장윤규, "CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법", 한국정보과학회 2012한국컴퓨터종합학술대회 논문집.