FaLoFiN:基于不确定性过滤的硬件故障局部化方法

摘要：

运行已有大型商业软件进行系统级验证是获得高质量SoC设计的有效手段,然而一旦硬件故障导致该类软件运行失效,故障局部化过程将十分困难.为此提出一种基于不确定性过滤的硬件故障局部化方法FaLoFiN.首先提取不确定性函数调用集;然后分别从参考运行和故障运行中过滤不确定性函数调用集;最后通过比较、定位异常函数调用,实现与硬件故障相关代码范围的局部化.实验结果表明,FaLoFiN方法具有较高的硬件故障局部化准确度,能有效地将PKUnity-86系统中的真实硬件故障局部化.

关键词：硬件故障、故障局部化、不确定性过滤、异常函数调用

所属期刊栏目：22

分类号：TP306+.3(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划2006AA010202;国际科技合作计划2008DFB10010

在线出版日期：2010-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1207-1214