面向C语言的故障注入平台

摘要：

针对现有面向C语言的故障注入工具功能上的不足，基于程序变异技术设计并实现了一个面向C语言的故障注入平台。平台由故障注入、故障模型、批量执行和结果分析4个模块组成，可自动完成故障注入和执行的整个流程。使用实际开源项目中的程序和其他故障注入工具进行实验对比，结果表明，该平台可支持更多实际工程中的函数，可对实际工程进行获取故障检测率的实验，整体适用范围更广。

关键词：故障注入、故障模型、变异算子

所属期刊栏目：39

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

资助基金：国家高技术研究发展计划863计划项目2012AA011201;中国博士后科学基金项目2015M581032

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

页数：共5页

页码：95-99