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

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

单位：北京大学微处理器研发中心; 北京100871; 北京大学深圳研究生院; 广东深圳518055