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

2016年6月 北 京 邮 电 大 学 学 报 Jun.2016 第39卷 第3期 Journal of Beijing University of Posts and Telecommunications Vol.39 No.3 摇 摇 文章编号:1007鄄5321(2016)03鄄0095鄄05 DOI:10.13190/ j.jbupt.2016.03.017 面向C语言的故障注入平台 1 1 1 2 钱茛南 ,摇 宫云战 ,摇 王雅文 ,摇 邢摇 颖 (1.北京邮电大学 网络与交换技术国家重点实验室,北京 100876;2.北京邮电大学 自动化学院,北京 100876) 摘要:针对现有面向C语言的故障注入工具功能上的不足,基于程序变异技术设计并实现了一个面向C语言的故 障注入平台. 平台由故障注入、故障模型、批量执行和结果分析4个模块组成,可自动完成故障注入和执行的整个 流程. 使用实际开源项目中的程序和其他故障注入工具进行实验对比,结果表明,该平台可支持更多实际工程中的 函数,可对实际工程进行获取故障检测率的实验,整体适用范围更广. 关摇 键摇 词:故障注入;故障模型;变异算子 中图分类号:TP311郾52摇 摇 摇 摇 文献标志码:A A C鄄Language Oriented Fault Injection Platform 1 1 1 2 QIAN Gen鄄nan ,摇 GONG Yun鄄zhan ,摇 WANG Ya鄄wen ,摇 XING Ying (1.State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China; 2.Automation School,Beijing University of Posts and Telecommunications,Beijing 100876,China) Abstract:To improve the accuracy and efficiency of existing fault injection tools,a C鄄language oriented fault injection and execution platformwaspresented. The platform is constructed by fault injection,fault model,batch execution and results analysis modules. Experiments show that comparing with other fault injection tool when used the open source projects,the platform can support more practical engineering functions. Key words:fault injection;fault models;mutation operator 摇 摇 软件测试领域中,基于故障的测试技术是对 1摇 设计与实现 传统测试方法的有力补充,可发现其他测试方法 难以检测的故障,具有更强的检错能力. 但现有的 面向C语言的故障注入平台主要由4 大部分 [1鄄2] 组成:故障注入、故障模型、批量执行和结果分析. 故障注入工具