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 条

[41] Next-generation techniques for tracking design requirements coverage in automatic test software development
Delgado, Santiago
2006 IEEE AUTOTESTCON, VOLS 1 AND 2, 2006, : 777 - 783
[42] Automatic test case generation using multi-protocol test method
Lee, SI
Park, YB
Kim, MC
Youn, HY
Lee, B
NINTH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 2000, : 360 - 366
[43] USING A TEST-SPECIFICATION FORMAT IN AUTOMATIC TEST-PROGRAM GENERATION
VERHELST, B
IEEE DESIGN & TEST OF COMPUTERS, 1990, 7 (01): : 39 - 45
[44] Automatic Generation of a Pronunciation Dictionary with Rich Variation Coverage Using SMT Methods
Karanasou, Panagiota
Lamel, Lori
COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING, PT II, 2011, 6609 : 506 - 517
[45] Coverage based test-case generation using model checkers
Rayadurgam, S
Heimdahl, MPE
EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 83 - 91
[46] A coverage directed test generation platform for microprocessors using genetic approach
Shen, Haihua
Wang, Pengyu
Wei, Wenli
Guo, Qi
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (10): : 1611 - 1625
[47] Coverage directed test generation for functional verification using Bayesian networks
Fine, S
Ziv, A
40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 286 - 291
[48] BOUNDS ON POPULATION COVERAGE USING TEST-GENERATION BY FAULT SAMPLING
FARHAT, H
FROM, S
MICROPROCESSORS AND MICROSYSTEMS, 1992, 16 (05) : 269 - 275
[49] Test Data Generation for Path Coverage of MPI Programs Using SAEO
Gong, Dunwei
Sun, Baicai
Yao, Xiangjuan
Tian, Tian
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 30 (02)
[50] On the Evaluation of Software Maintainability Using Automatic Test Case Generation
Nogueira, Ana Filipa
Ribeiro, Jose C. B.
Zenha-Rela, Mario A.
2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2014, : 300 - 305

← 1 2 3 4 5 →