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 条

[1] FSX: A Tool for Fine-Grained Incremental Unit Test Generation for C/C plus plus Programs
Yoshida, Hiroaki
Tokumoto, Susumu
Prasad, Mukul R.
Ghosh, Indradeep
Uehara, Tadahiro
FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 1052 - 1056
[2] Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion
Wu, Tianyong
Yan, Jun
Zhang, Jian
2014 EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY, 2014, : 118 - 126
[3] Test Image Generation using Segmental Symbolic Evaluation for Unit Testing
Jameel, Tahir
Lin, Mengxiang
Li, He
Hou, Xiaomei
2014 15TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2014, : 275 - 280
[4] Improvements of Directed Automated Random Testing in Test Data Generation for C plus plus Projects
Duc-Anh Nguyen
Tran Nguyen Huong
Hieu Vo Dinh
Pham Ngoc Hung
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (09) : 1279 - 1312
[5] A Framework for Test Data Generation of Object-oriented Programs Based on Complete Testing Chain
Li, Gang
Yu, Lei
Sun, Huihui
2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2016, : 391 - 397
[6] An Approach to Automatic Test Case Generation for Unit Testing
Liu, Pan
Xu, Zhenning
Ai, Jun
2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 545 - 552
[7] Unit Test Data Generation for C Using Rule-Directed Symbolic Execution
Ming-Zhe Zhang
Yun-Zhan Gong
Ya-Wen Wang
Da-Hai Jin
Journal of Computer Science and Technology, 2019, 34 : 670 - 689
[8] String Test Data Generation for Java']Java Programs
Wang, Miaomiao
Cui, Baoquan
Yan, Jiwei
Yan, Jun
Zhang, Jian
2022 IEEE 33RD INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2022), 2022, : 251 - 262
[9] Unit Test Data Generation for C Using Rule-Directed Symbolic Execution
Zhang, Ming-Zhe
Gong, Yun-Zhan
Wang, Ya-Wen
Jin, Da-Hai
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2019, 34 (03) : 670 - 689
[10] Unit and integration testing strategies for C programs using mutation
Vincenzi, AMR
Maldonado, JC
Barbosa, EF
Delamaro, ME
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (04) : 249 - 268

← 1 2 3 4 5 →