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