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

Design and implementation of software testing tool based on super block dominator graph

作　　者：徐晓峰[1] 陈艳[2] 李伊飏[1] 林晓鹏[1] 郭东辉[1,2] 

机构地区：[1]厦门大学物理系,福建厦门361005 [2]厦门大学信息科学与技术学院,福建厦门361005

出　　处：《计算机应用研究》2010年第3期923-927,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(60753001);国家教育部新世纪人才计划基金资助项目

摘　　要：通过超级块支配图来分析软件测试探针的合理插装位置,可有效地减少插装探针数量,降低代码插装对程序的影响。基于超级块支配图的代码插装原理,设计一种针对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.

关 键 词：代码插装 覆盖测试 超级块支配图 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]