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 条

[41] Survey on test data generation toolsAn evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java [J].

Stefan J. Galler ;

Bernhard K. Aichernig .

International Journal on Software Tools for Technology Transfer, 2014, 16 :727-751

[42] Random Test Case Generation and Manual Unit Testing: Substitute or Complement in Retrofitting Tests for Legacy Code? [J].

Ramler, Rudolf ;

Winkler, Dietmar ;

Schmidt, Martina .

2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, :286-293

[43] Fuzuli: Automatic Test Data Generation for Software Structural Testing using Grey Wolf Optimization Algorithm and Genetic Algorithm [J].

Arasteh, Bahman ;

Sattari, Mohammad Reza ;

Kalan, Reza Shokri .

2022 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/CBDCOM/CYBERSCITECH), 2022, :194-199

[44] An EFSM-Based Test Data Generation Approach in Model-Based Testing [J].

Mohd-Shafie, Muhammad Luqman ;

Kadir, Wan Mohd Nasir Wan ;

Khatibsyarbini, Muhammad ;

Isa, Mohd Adham ;

Ghani, Israr ;

Ruslai, Husni .

CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 71 (03) :4337-4354

[45] Automatic Generation of Test Data for XML Schema-based Testing of Web Services [J].

Petrova-Antonova, Dessislava ;

Kuncheva, Kunka ;

Ilieva, Sylvia .

2015 10TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), VOL 1, 2015, :277-284

[46] An Automated Testing Tool for Java']Java Application Using Symbolic Execution based Test Case Generation [J].

Monpratarnchai, Supasit ;

Fujiwara, Shoichiro ;

Katayama, Asako ;

Uehara, Tadahiro .

2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 2013, :93-98

[47] Hybrid Test Data Generation [J].

Liu, Zicong ;

Chen, Zhenyu ;

Fang, Chunrong ;

Shi, Qingkai .

36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, :630-631

[48] An approach to test data generation for killing multiple mutants [J].

Liu, Ming-Hao ;

Gao, You-Feng ;

Shan, Jin-Hui ;

Liu, Jiang-Hong ;

Zhang, Lu ;

Sun, Jia-Su .

ICSM 2006: 22ND IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2006, :113-+

[49] Mining constant information for readable test data generation [J].

Zhang, Mingzhe ;

Gong, Yunzhan ;

Wang, Yawen ;

Jin, Dahai .

INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2021, 14 (01) :9-18

[50] Towards a gamified tool to improve unit test teaching [J].

Marabesi, Matheus ;

Silveira, Ismar Frango .

2019 XIV LATIN AMERICAN CONFERENCE ON LEARNING TECHNOLOGIES (LACLO 2019), 2020, :12-19

← 1 2 3 4 5 →