Formal verification coverage: computing the coverage gap between temporal specifications

被引：8

作者：

Das, S ^{[1
]}

Basu, P ^{[1
]}

Banerjee, A ^{[1
]}

Dasgupta, P ^{[1
]}

Chakrabarti, PP ^{[1
]}

Mohan, CR ^{[1
]}

Fix, L ^{[1
]}

Armoni, R ^{[1
]}

机构：

[1] Indian Inst Technol, Dept Comp Sci & Engn, Kharagpur, W Bengal, India

来源：

ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS | 2004年

关键词：

D O I：

10.1109/ICCAD.2004.1382571

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Existing methods for formal verification coverage compare a given specification with a given implementation, and evaluate the coverage gap in terms of quantitative metrics. In this paper, we consider a new problem, namely to compare two formal temporal specifications and to find a set of additional temporal properties that close the coverage gap between the two specifications. In this paper we present: (1) the problem definition and motivation, (2) a methodology for computing the coverage gap between specifications, and (3) a methodology for representing the coverage gap as a collection of temporal properties that preserve the syntactic structure Of the target specification.

引用

页码：198 / 203

页数：6

共 50 条

[41] Coverage centralities for temporal networks
Takaguchi, Taro
Yano, Yosuke
Yoshida, Yuichi
EUROPEAN PHYSICAL JOURNAL B, 2016, 89 (02): : 1 - 11
[42] Foliations of Coverage: Introducing Functional Coverage to DO-254 Verification Projects
Carter, Hamilton
Williams, Paul
Fitzpatrick, Tom
2019 IEEE AEROSPACE CONFERENCE, 2019,
[43] Functional verification coverage vs. physical stuck-at fault coverage
Sun, X
Hull, C
1998 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 1998, : 108 - 116
[44] Verification coverage: when is enough, enough?
Bacchini, Francine
Hu, Alan J.
Fitzpatrick, Tom
Lacey, David
Piziali, Andrew
Ranjan, Rajeev
Tan, Mercedes
Ziv, Avi
2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 744 - +
[45] Verification Coverage for Combining Test and Proof
Viet Hoang Le
Correnson, Loic
Signoles, Julien
Wiels, Virginie
TESTS AND PROOFS, TAP 2018, 2018, 10889 : 120 - 138
[46] Coverage Verification Algorithm for Sensor Networks
Cwiszewski, Aleksander
Wisniewski, Piotr
COMPUTER APPLICATIONS FOR BIO-TECHNOLOGY, MULTIMEDIA, AND UBIQUITOUS CITY, 2012, 353 : 397 - 405
[47] Verification Coverage of Embedded Multicore Applications
Deniz, Etem
Sen, Alper
Holt, Jim
DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012), 2012, : 252 - 255
[48] Coverage Verification without Location Information
Bejerano, Yigal
IEEE TRANSACTIONS ON MOBILE COMPUTING, 2012, 11 (04) : 631 - 643
[49] Coverage-oriented verification of banias
Gluska, A
40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 280 - 285
[50] Cryptographic verification of test coverage claims
Devanbu, P
Stubblebine, SG
SOFTWARE ENGINEERING - ESEC/FSE '97, 1997, 1301 : 395 - 413

← 1 2 3 4 5 →