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

共 50 条

[21] Generating TCP/UDP Network Data for Automated Unit Test Generation [J].

Arcuri, Andrea ;

Fraser, Gordon ;

Galeotti, Juan Pablo .

2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS, 2015, :155-165

[22] TOOL SUPPORT FOR SYSTEMATIC TEST DATA GENERATION USING GENETIC ALGORITHMS [J].

Shangodoyin, D. K. ;

Obe, O. O. ;

Arnab, R. ;

Dlamini, S. S. .

ADVANCES AND APPLICATIONS IN STATISTICS, 2006, 6 (03) :399-409

[23] Supporting unit test generation via automated isolation [J].

Honfi D. ;

Micskei Z. .

Periodica polytechnica Electrical engineering and computer science, 2017, 61 (02) :116-131

[24] Test Data Generation Algorithm of Combinatorial Testing Based on Differential Evolution [J].

Wang Jianfeng ;

Wei Chang'an ;

Jiang Shouda .

2013 THIRD INTERNATIONAL CONFERENCE ON INSTRUMENTATION & MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2013, :544-548

[25] Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance [J].

Cretin, Aymeric ;

Vernotte, Alexandre ;

Chevrot, Antoine ;

Peureux, Fabien ;

Legeard, Bruno .

2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2020, :143-152

[26] Generation of Character Test Input Data using GA for Functional Testing [J].

Sharma, Nihar ;

Pasala, Anjaneyulu ;

Kommineni, Rupa .

2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE WORKSHOPS (APSECW), VOL. 2, 2012, :87-94

[27] Evolutionary generation of test data for regression testing based on path correlation [J].

Wu, Chuan ;

Gong, Dun-Wei .

Jisuanji Xuebao/Chinese Journal of Computers, 2015, 38 (11) :2247-2261

[28] Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems [J].

Padgham, Lin ;

Zhang, Zhiyong ;

Thangarajah, John ;

Miller, Tim .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (09) :1230-1244

[29] Test Input Generation for Programs with Pointers [J].

Vanoverberghe, Dries ;

Tillmann, Nikolai ;

Piessens, Frank .

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 :277-+

[30] Quantifying the Characteristics of Java']Java Programs that May Influence Symbolic Execution from a Test Data Generation Perspective [J].

Eler, Marcelo M. ;

Endo, Andre T. ;

Durelli, Vinicius H. S. .

2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, :181-190

← 1 2 3 4 5 →