Informatics Report Series
|
|
|
|
|
|
Title:Expression Coverability Analysis: Improving Code Coverage Analysis with Model Checking. |
Authors:
Graeme Cunningham
; Paul Jackson
; Julian Dines
|
Date:Mar 2004 |
Publication Title:Proceedings of DVCon 2004 (Design and Verification Conference) |
Publication Type:Conference Paper
Publication Status:Published
|
|
|
- Abstract:
-
Code coverage analysis provides metrics to quantify the degree of verification completeness. It also allows the designer to identify possible bugs or redundant code thus speeding verification.
Many verification engineers report that the most time consuming area of code coverage analysis is the identification and documentation of intrinsically uncoverable expression cases. With manual inspection of the code being especially time consuming and error prone, automatic methods of identifying uncoverable expression cases are highly desirable.
Our work extends model-checking-based coverability analysis work at IBM to support analysing the coverability of expression cases.
We present results of applying our implementation on industrial scale designs provided by Motorola. We also analyse how coding style can impact the coverability of expressions and suggest how expression coverability analysis can be applied within the verification flow.
- Links To Paper
- 1st Link
- Bibtex format
- @InProceedings{EDI-INF-RR-0580,
- author = {
Graeme Cunningham
and Paul Jackson
and Julian Dines
},
- title = {Expression Coverability Analysis: Improving Code Coverage Analysis with Model Checking.},
- book title = {Proceedings of DVCon 2004 (Design and Verification Conference)},
- year = 2004,
- month = {Mar},
- url = {http://homepages.inf.ed.ac.uk/pbj/papers/dvcon04-eca.pdf},
- }
|