A Test Data Generation Tool for Unit Testing of C Programs

Author

Xu, Zhongxing ; Zhang, Jian

Author_Institution

Inst. of Software, Chinese Acad. of Sci., Beijing

fYear

2006

fDate

27-28 Oct. 2006

Firstpage

107

Lastpage

116

Abstract

This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the given program. It simulates pointer operations precisely. This makes it capable of generating test data for programs involving pointer and structure operations. Experiments on real-world programs including the GNU coreutils are presented. Some trade-offs of simulation schemes are also discussed

Keywords

C++ language; flow graphs; program testing; software quality; software tools; C program unit testing; GNU coreutils; SimC tool; pointer operations; program execution simulation; structure operations; symbolic execution; test data generation tool; Automatic testing; Computational modeling; Computer science; Concrete; Flow graphs; Laboratories; Software prototyping; Software quality; Software testing; Software tools; Test data generation; pointer operation; symbolic execution; unit testing.;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software, 2006. QSIC 2006. Sixth International Conference on

Conference_Location

Beijing

ISSN

1550-6002

Print_ISBN

0-7695-2718-3

Type

conf

DOI

10.1109/QSIC.2006.7

Filename

4032275

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2929280