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 条

[21] Test Data Automatic Generation Based on Modified Condition/Decision Coverage Criteria
Fan Xin
Zheng Wei
Yang Feng-yu
Liang Qi-jun
PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INTELLIGENT COMMUNICATION, 2015, 16 : 287 - 290
[22] Analysis of the Automatic Test Generation Tool: CREST
Chen, Ruidong
Luo, Yu
Li, Ruixing
Zhang, Xiaosong
Ying, Lingyun
2016 INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION, BIG DATA & SMART CITY (ICITBS), 2017, : 68 - 72
[23] ASM-based testing: Coverage criteria and automatic test sequence generation
Gargantini, A
Riccobene, E
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11) : 1050 - 1067
[24] Automated Test Case Generation based on Coverage Analysis
Majchrzak, Tim A.
Kuchen, Herbert
THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 259 - 266
[25] Abstraction techniques for validation coverage analysis and test generation
Moundanos, D
Abraham, JA
Hoskote, YV
IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (01) : 2 - 14
[26] Test case generation of a protocol by a fault coverage analysis
Kim, TH
Hwang, IS
Jang, MS
Kang, SW
Lee, JY
Lee, SB
TWELFTH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING (ICOIN-12), PROCEEDINGS, 1998, : 690 - 695
[27] High Level Testability Analysis using VHDL Automatic Test Pattern Generation
Giamarchi, F.
Capocchi, L.
Federici, D.
Bisgambiglia, P. A.
2008 IEEE MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1 AND 2, 2008, : 204 - 209
[28] FAULT COVERAGE IMPROVEMENT AND TEST VECTOR GENERATION FOR COMBINATIONAL CIRCUITS USING SPECTRAL ANALYSIS
Ahmady, Mehrnaz
Sayedi, Sayed Masood
2012 25TH IEEE CANADIAN CONFERENCE ON ELECTRICAL & COMPUTER ENGINEERING (CCECE), 2012,
[29] Automatic Generation of Functional Coverage Models
El Mandouh, Eman
Wassal, Amr G.
2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2016, : 754 - 757
[30] Maximizing Test Coverage for Security Threats Using Optimal Test Data Generation
Hussain, Talha
Faiz, Rizwan Bin
Aljaidi, Mohammad
Khattak, Adnan
Samara, Ghassan
Alsarhan, Ayoub
Alazaidah, Raed
APPLIED SCIENCES-BASEL, 2023, 13 (14):

← 1 2 3 4 5 →