一种面向软件可靠性评估的故障注入机制的设计与实现

摘要：

为了获取更加全面的程序失效数据以提高软件可靠性评估的准确性,提出一种面向软件可靠性评估的故障注入机制.该机制在生成故障注入方案时充分考虑了程序故障类型分布、故障空间分布、故障发生时间分布及程序输入等因素,从而能够合理地反映程序真实的失效情况.实现了故障注入方案生成器,并集成到自行开发的基于Intel PIN框架的动态软件故障注入工具软件中.为了验证所提出的故障注入机制的合理性和有效性,以TINY语言编译器、LZ77压缩程序、CRC32程序为例,分别通过测试和故障注入实验的方式收集了相应的失效数据,然后用Jelinski-Moranda模型计算得到了2组很接近的可靠性指标值.实验结果表明,基于故障注入的软件可靠性评估方法的有效性和合理性不亚于传统的基于测试的方法,故障注入方法更适用于较大规模程序的可靠性评估,采用指数分布的故障发生时间分布假设更能反映程序真实失效情况.

关键词：软件可靠性评估、故障注入、程序故障空间分布、程序故障发生时间分布、故障注入方案生成

所属期刊栏目：24

分类号：TP311.56(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划2007AA01Z142

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

页数：共11页

页码：741-751