面向崩溃预测的寄存器软错误故障传播分析

摘要：

故障注入是研究软错误故障传播的传统手段,但随着程序复杂性不断增加,采用故障注入对大量软错误的故障传播进行研究将花费巨大的时间成本.提出一种基于程序动态指令进行分析和建模从而快速获取软错误结果的方法.将程序转化为动态指令序列,通过体系结构正确执行分析将所有可能的软错误划分为对程序运行结果有影响和没有影响两部分;基于动态依赖图建立软错误故障传播分析模型,并建立判断程序崩溃的标准,进而提出一个算法对任意制定的能够影响程序运行结果的软错误进行故障传播分析并重点预测程序崩溃的发生.实验显示,预测的漏报率和分析单个软错误的平均用时明显低于现有方法.

关键词：软错误、故障传播、崩溃、体系结构正确执行、动态依赖图

所属期刊栏目：53

分类号：TP302.8(计算技术、计算机技术)

资助基金：国家高技术研究发展计划8632013AA01A215;国家自然科学基金61173020

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

页数：共8页

页码：1-7,74