Comparison of model-based error localization algorithms for c designs
U Repinski, J Raik - East-West Design & Test Symposium …, 2013 - ieeexplore.ieee.org
U Repinski, J Raik
East-West Design & Test Symposium (EWDTS 2013), 2013•ieeexplore.ieee.orgThe paper addresses Model-Based Design Error Localization in C designs. We consider a
localization algorithm that is implemented with Dynamic Slicing and simulation using C code
animation. The localization algorithm has been integrated into the FoREnSiC automated
debugging system. Different ranking algorithms are compared and their ranking accuracy for
Error Localization is measured by experimental results on the Siemens benchmark set. A
new contribution of the paper is the observation that a simple error ranking metric that takes …
localization algorithm that is implemented with Dynamic Slicing and simulation using C code
animation. The localization algorithm has been integrated into the FoREnSiC automated
debugging system. Different ranking algorithms are compared and their ranking accuracy for
Error Localization is measured by experimental results on the Siemens benchmark set. A
new contribution of the paper is the observation that a simple error ranking metric that takes …
The paper addresses Model-Based Design Error Localization in C designs. We consider a localization algorithm that is implemented with Dynamic Slicing and simulation using C code animation. The localization algorithm has been integrated into the FoREnSiC automated debugging system. Different ranking algorithms are compared and their ranking accuracy for Error Localization is measured by experimental results on the Siemens benchmark set. A new contribution of the paper is the observation that a simple error ranking metric that takes into account only information from failed sequences has the least average deviation from exact localization.
ieeexplore.ieee.org
Showing the best result for this search. See all results