| MDCI:基于多粒度动态控制流不变式的硬件故障局部化 |
| |
| 引用本文： | 郑衍松,佟冬,王克义,程旭.MDCI:基于多粒度动态控制流不变式的硬件故障局部化[J].电子学报,2010,38(11):2465-2470. |
| |
| 作者姓名： | 郑衍松 佟冬 王克义 程旭 |
| |
| 作者单位： | 1. 北京大学微处理器研发中心,北京 100871;2. 北京大学深圳研究生院,广东深圳 518055 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)课题(No.2006AA010202); 国际科技合作项目(No.2008DFB10010) |
| |
| 摘 要： | 本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点是否可达,从而将与硬件故障相关的代码范围局部化.实验结果表明MDCI只需检验少量的控制流程序点,就能准确地将与故障相关的代码范围局部化.
|
| 关 键 词： | 多粒度 动态控制流不变式 硬件故障 故障局部化 |
| 收稿时间： | 2009-09-09 |
MDCI:Hardware Fault Localization Based on Multi-Granularity Dynamic Control Flow Invariants |
| |
| ZHENG Yan-song,TONG Dong,WANG Ke-yi,CHENG Xu.MDCI:Hardware Fault Localization Based on Multi-Granularity Dynamic Control Flow Invariants[J].Acta Electronica Sinica,2010,38(11):2465-2470. |
| |
| Authors: | ZHENG Yan-song TONG Dong WANG Ke-yi CHENG Xu |
| |
| Institution: | 1. Microprocessor Research and Development Center,Peking University,Beijing 100871,China;2. Shenzhen Graduate School,Peking University,Shenzhen,Guangdong 518055,China |
| |
| Abstract: | This paper proposes a hardware fault localization approach,MDCI,which is based on multi-granularity dynamic control flow invariants.The approach first extracts high confidence dynamic control flow invariants in different granularity.It then checks gradually and iteratively in multi-granularity whether the dynamic control flow invariants are accessible,and localizes the code scope related to hardware faults.The experimental result shows that MDCI can localize the code scope related to hardware faults with hi... |
| |
| Keywords: | multi-granularity dynamic control flow invariants hardware faults fault localization |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
| 点击此处可从《电子学报》下载免费的PDF全文 |
|
