摘要
通过超级块支配图来分析软件测试探针的合理插装位置,可有效地减少插装探针数量,降低代码插装对程序的影响。基于超级块支配图的代码插装原理,设计一种针对C语言的软件自动测试工具(SAT),介绍了该工具中词法语法分析器、静态分析器、代码插装器等主要功能模块的具体实现方案,同时对SAT的插装性能进行了分析。
This paper described the design and implementation of a coverage testing tool （SAT）. It emphasized on the realization of main modules： lexer and parser, static analyzer, and code instrumenter. Compared to other tools that instruments each basic block, SAT used super block dominator graph to check which basic block should be instrumented so that both the number of instrumentation probes and runtime overhead of instrumentation are reduced effectively. Finally, used an example to show the functionalities of the tool as well as the discussed performance of SAT.
出处
《计算机应用研究》
CSCD
北大核心
2010年第3期923-927,共5页
Application Research of Computers
基金
国家自然科学基金资助项目(60753001)
国家教育部新世纪人才计划基金资助项目
关键词
代码插装
覆盖测试
超级块支配图
code instrumentation
coverage testing
super block dominator graph
