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

MDCI:Hardware Fault Localization Based on Multi-Granularity Dynamic Control Flow Invariants

作　　者：郑衍松[1,2] 佟冬[1] 王克义[1] 程旭[1] 

机构地区：[1]北京大学微处理器研发中心,北京100871 [2]北京大学深圳研究生院,广东深圳518055

出　　处：《电子学报》2010年第11期2465-2470,共6页Acta Electronica Sinica

基　　金：国家高技术研究发展计划(863计划)课题(No.2006AA010202);国际科技合作项目(No.2008DFB10010)

摘　　要：本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点是否可达,从而将与硬件故障相关的代码范围局部化.实验结果表明MDCI只需检验少量的控制流程序点,就能准确地将与故障相关的代码范围局部化.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.

关 键 词：多粒度 动态控制流不变式 硬件故障 故障局部化 

分 类 号：TP306.3[自动化与计算机技术—计算机系统结构]