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 条
[31]   JTExpert at the Fourth Unit Testing Tool Competition [J].
Sakti, Abdelilah ;
Pesant, Gilles ;
Gueheneuc, Yann-Gael .
2016 IEEE/ACM 9TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2016, :37-40
[32]   JTExpert at the Third Unit Testing Tool Competition [J].
Sakti, Abdelilah ;
Pesant, Gilles ;
Gueheneuc, Yann-Gael .
2015 IEEE/ACM 8TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2015, :52-55
[33]   Automated test data generation for branch testing using incremental genetic algorithm [J].
Manikumar, T. ;
Kumar, A. John Sanjeev ;
Maruthamuthu, R. .
SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 2016, 41 (09) :959-976
[34]   Test-Data Generation for Testing Parallel Real-Time Systems [J].
Aziz, Muhammad Waqar ;
Shah, Syed Abdul Baqi .
TESTING SOFTWARE AND SYSTEMS, ICTSS 2015, 2015, 9447 :211-223
[35]   Automated test data generation for branch testing using incremental genetic algorithm [J].
T Manikumar ;
A John Sanjeev Kumar ;
R Maruthamuthu .
Sādhanā, 2016, 41 :959-976
[36]   Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing [J].
Long, Peixun ;
Zhao, Jianjun .
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (06)
[37]   A learning support tool for testing Java']Java programs [J].
Kamigochi, Nobuyuki ;
Matsuura, Saeko .
PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, :273-+
[38]   Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs [J].
Li, Feiyu ;
Gong, Yunzhan .
2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE WORKSHOPS (APSECW), VOL. 2, 2012, :95-104
[39]   EFSM generation for C programs with functions [J].
Xu, C ;
Zhang, J .
COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, :90-94
[40]   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
12345