Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

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
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
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 = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh