Automatic Test Generation for Coverage Analysis Using CBMC

被引：0

作者：

Augeletti, Damiano ^{[2
]}

Giunchiglia, Enrico ^{[1
]}

Narizzano, Massimo ^{[1
]}

Puddu, Alessandra ^{[1
]}

Sabina, Salvatore ^{[2
]}

机构：

[1] Univ Genoa, DIST, I-16145 Genoa, Italy

[2] Ansaldo STS, I-16151 Genoa, Italy

来源：

COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009 | 2009年 / 5717卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Testing is Hie most. used technique for software verification it is easy to use and even if no error is found. it, Call release a set of tests certifying the (partial) correctness of the compiled system. Moreover, in order to increase the confidence of Hie correctness of the compiled system, it, is often required that the provided set of tests covers 100% of Hie Code. This requirement, however, substantially increases the costs associated to Hie testing phase since it may involve the manual generation of tests. In this paper we show how to use a Bounded Model Checker for C programs (CBMC) as an automatic test generator for the Coverage Analysis and we show flow its use can substantially reduce the costs of the testing phase.

引用

页码：287 / +

页数：3

共 50 条

[31] Automatic Test Sequence Generation and Functional Coverage Measurement From UML Sequence Diagrams
Ekici, Nazim Umut
Tuglular, Tugkan
INTERNATIONAL JOURNAL OF INFORMATION SYSTEM MODELING AND DESIGN, 2023, 14 (01)
[32] Concolic Test Generation for PLC Programs using Coverage Metrics
Bohlender, Dimitri
Simon, Hendrik
Friedrich, Nico
Kowalewski, Stefan
Hauck-Stattelmann, Stefan
2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 432 - 437
[33] Coverage-directed test generation using symbolic techniques
Geist, D
Farkas, M
Landver, A
Lichtenstein, Y
Ur, S
Wolfsthal, Y
FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 143 - 158
[34] Automatic Test Data Generation Using a Genetic Algorithm
Aleb, Nassima
Kechid, Samir
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, 2013, 7972 : 574 - 586
[35] Automatic Test Image Generation using Procedural Noise
Patrick, Matthew
Castle, Matthew D.
Stutt, Richard O. J. H.
Gilligan, Christopher A.
2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2016, : 654 - 659
[36] Automatic Test Data Generation Using Particle Systems
Bueno, Paulo M. S.
Wong, W. Eric
Jino, Mario
APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 809 - +
[37] Code Coverage Aware Test Generation Using Constraint Solver
Sykora, Krystof
Ahmed, Bestoun S.
Bures, Miroslav
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 58 - 66
[38] Test-Equivalence Analysis for Automatic Patch Generation
Mechtaev, Sergey
Gao, Xiang
Tan, Shin Hwei
Roychoudhury, Abhik
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2018, 27 (04)
[39] Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study
Timo, Omer Nguena
Langelier, Guillaume
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 320 : 35 - 51
[40] Automatic bias generation using pipeline instruction state coverage for biased random instruction generation
Bose, M
Rudnick, EM
Abadir, M
SEVENTH IEEE INTERNATIONAL ON-LINE TESTING WORKSHOP, PROCEEDINGS, 2001, : 65 - 71

← 1 2 3 4 5 →