A test data generation tool for unit testing of C programs

被引：0

作者：

Xu, Zhongxing ^{[1
]}

Zhang, Jian ^{[1
]}

机构：

[1] Chinese Acad Sci, Grad Univ, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China

来源：

QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS | 2006年

基金：

美国国家科学基金会;

关键词：

test data generation; symbolic execution; pointer operation; unit testing;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：107 / +

页数：2

共 18 条

[1] AUTOMATIC-GENERATION OF PATH COVERS BASED ON THE CONTROL FLOW-ANALYSIS OF COMPUTER-PROGRAMS [J].

BERTOLINO, A ;

MARRE, M .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) :885-899

[2]

Boyer R. S., 1975, P INT C REL SOFTW, P234, DOI DOI 10.1145/800027.808445

[3]

Clarke E, 2003, ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, P308, DOI 10.1109/ASPDAC.2003.1195033

[4] CONSTRAINT-BASED AUTOMATIC TEST DATA GENERATION [J].

DEMILLO, RA ;

OFFUTT, AJ .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (09) :900-910

[5]

DENARO G, 2004, SYMBOLIC EXECUTION B

[6]

Fergusson G. J., 1963, Radiocarbon, V5, P1

[7] ADTEST: A test data generation suite for Ada software systems [J].

Gallagher, MJ ;

Narasimhan, VL .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (08) :473-484

[8]

GODEFROID P., 2005, P ACM SIGPLAN C PROG, P213, DOI [DOI 10.1145/1064978.1065036, DOI 10.1145/1065010.1065036]

[9]

GOTLIEB A, 1998, P INT S SOFTW TEST A, P53

[10]

KERNIGHAN BW, 1978, P PROGRAMMING LANGUA

← 1 2 →