一种面向软件可靠性评估的故障注入机制的设计与实现
故障注入技术已被成功地运用在容错机制验证、可信性基准程序构建等方面。本文给出了一种面向软件可靠性评估的故障注入机制的设计与实现。在生成故障注入方案时充分考虑了程序故障类型分布、故障空间分布、故障发生时间分布以及程序输入等因素，以更合理地反映程序真实的失效情况。为此，在基于Intel Pin框架的动态软件故障注入工具中设置了故障注入方案生成器。我们以TINY编译器、LZ77压缩程序、CRC32程序作为目标程序，分别通过测试和故障注入实验收集了相应的失效数据。针对每一个目标程序，经Jelinski-Moranda模型计算，得到了两组结果很接近的可靠性指标，从而用实例验证了所提出的面向软件可靠性评估的故障注入机制的合理性和有效性。
软件开发 软件测试 故障注入 容错验证
胡嘉伟 江建慧
同济大学计算机科学与技术系,上海 201804
国内会议
北京
中文
1-10
2011-07-30（万方平台首次上网日期，不代表论文的发表时间）