Design and implementation of software testing tool based on super block dominator graph
XU Xiao-fenga · Jisuanji yingyong yanjiu · 2010
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.