基于改进优序图法的读时故障注入设计

摘要

软件故障注入是可靠性验证的重要保障，与系统的安全性和鲁棒性密切相关。提出了一种基于改进优序图法的读时故障注入方法。相比于传统方法，所提方法能够提高故障注入的有效性，缩小故障空间。首先，对小尺度程序故障注入的结果进行理论分析，得到特征值权重向量；然后，对大尺度程序的汇编代码进行解析，得到汇编代码的特征值；之后，根据特征值权重向量，计算大尺度程序汇编代码的权重；最后，在MiBench数据集上验证方法的有效性。将大尺度程序各条汇编代码分别按照权重和有效故障率进行降序排列，各取前50%的元素，二者的相似度可达到81%。

关键词

软件故障注入 / 读时注入 / 优序图法 / 可靠性 / 软件测试