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
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
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
Honfi D.
Micskei Z.
Periodica polytechnica Electrical engineering and computer science, 2017, 61 (02): : 116 - 131
[24] Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance
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
[25] Generation of Character Test Input Data using GA for Functional Testing
Sharma, Nihar
Pasala, Anjaneyulu
Kommineni, Rupa
2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE WORKSHOPS (APSECW), VOL. 2, 2012, : 87 - 94
[26] Test Data Generation Algorithm of Combinatorial Testing Based on Differential Evolution
Wang Jianfeng
Wei Chang'an
Jiang Shouda
2013 THIRD INTERNATIONAL CONFERENCE ON INSTRUMENTATION & MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2013, : 544 - 548
[27] Test Input Generation for Programs with Pointers
Vanoverberghe, Dries
Tillmann, Nikolai
Piessens, Frank
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 277 - +
[28] Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems
Padgham, Lin
Zhang, Zhiyong
Thangarajah, John
Miller, Tim
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (09) : 1230 - 1244
[29] Quantifying the Characteristics of Java']Java Programs that May Influence Symbolic Execution from a Test Data Generation Perspective
Eler, Marcelo M.
Endo, Andre T.
Durelli, Vinicius H. S.
2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 181 - 190
[30] UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments
Ivanov, Dmitry
Babushkin, Alexey
Grigoryev, Saveliy
Iatchenii, Pavel
Kalugin, Vladislav
Kulikov, Egor
Kulikov, Egor
Misonizhnik, Aleksandr
Mordvinov, Dmitry
Morozov, Sergey
Naumenko, Olga
Pleshakov, Alexey
Ponomarev, Pavel
Shmidt, Svetlana
Utkin, Alexey
Volodin, Vadim
Volynets, Arseniy
2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 380 - 384

← 1 2 3 4 5 →