MDCI:基于多粒度动态控制流不变式的硬件故障局部化

郑衍松; 佟冬; 王克义; 程旭

您当前的位置：

首页 >

文章列表页 >

MDCI:基于多粒度动态控制流不变式的硬件故障局部化

学术论文 | 更新时间：2025-07-08

- MDCI:基于多粒度动态控制流不变式的硬件故障局部化
- MDCI:Hardware Fault Localization Based on Multi-Granularity Dynamic Control Flow Invariants
- 电子学报 2010年38卷第11期页码：2465-2470
- 作者机构：
  
  1. 北京大学微处理器研发中心,北京,100871
  2. 北京大学深圳研究生院,广东,深圳,518055
  3. 北京大学微处理器研发中心北京,100871
  4. 北京大学深圳研究生院广东深圳,518055
- 作者简介：
- 基金信息：
  
  国家高技术研究发展计划 (863计划)课题 (No.2006AA010202);国际科技合作项目 (No.2008DFB10010)
- DOI：
  中图分类号： TP306.3
- 纸质出版：2010
- 稿件说明：
移动端阅览
郑衍松, 佟冬, 王克义, 等. MDCI:基于多粒度动态控制流不变式的硬件故障局部化[J]. 电子学报, 2010,38(11):2465-2470.

MDCI:Hardware Fault Localization Based on Multi-Granularity Dynamic Control Flow Invariants[J]. Acta Electronica Sinica, 2010, 38(11): 2465-2470.
郑衍松, 佟冬, 王克义, 等. MDCI:基于多粒度动态控制流不变式的硬件故障局部化[J]. 电子学报, 2010,38(11):2465-2470. DOI：

MDCI:Hardware Fault Localization Based on Multi-Granularity Dynamic Control Flow Invariants[J]. Acta Electronica Sinica, 2010, 38(11): 2465-2470. DOI：

摘要

本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式

多粒度逐级迭代地检验控制流不变式程序点是否可达

从而将与硬件故障相关的代码范围局部化.实验结果表明MDCI只需检验少量的控制流程序点

就能准确地将与故障相关的代码范围局部化.

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 high accuracy by checking only a few of control flow program points.

关键词

Keywords

references

浏览量

955

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

粗糙集近似集不确定性研究