基于超级块支配图插装软件测试工具设计与实现.docVIP

基于超级块支配图插装软件测试工具设计与实现 　　摘 要:通过超级块支配图来分析软件测试探针的合理插装位置,可有效地减少插装探针数量,降低代码插装对程序的影响。基于超级块支配图的代码插装原理,设计一种针对C语言的软件自动测试工具(SAT),介绍了该工具中词法语法分析器、静态分析器、代码插装器等主要功能模块的具体实现方案,同时对SAT的插装性能进行了分析。 　　关键词:代码插装; 覆盖测试; 超级块支配图 　　中图分类号:TP311 文献标志码:A 　　文章编号:1001-3695(2010)03-0923-05 　　doi:10.3969/j.issn.1001-3695.2010.03.032 　　 　　Design and implementation of software testing tool based on super block dominator graph 　　 　　XU Xiao-feng??a, CHEN yan??b, LI Yi-Yang??a , LIN Xiao-peng??a, GUO Dong-hui????a,b?? 　　 　　(a.Dept. of Physics, b.School of Information Science Technology, Xiamen University, Xiamen Fujian