关键词:代码插装; 覆盖测试; 超级块支配图
Design and implementation of software testing tool based on super block dominator graph
XU Xiao-fenga, CHEN yanb, LI Yi-Yanga , LIN Xiao-penga, GUO Dong-huia,b
(a.Dept. of Physics, b.School of Information Science & Technology, Xiamen University, Xiamen Fujian 361005, China)
Abstract: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.
Key words:code instrumentation; coverage testing; super block dominator graph ......