|
|||||
|
|
| 基于超级块支配图插装的软件测试工具设计与实现* | |
| 引用本文： | 徐晓峰,陈艳,李伊飏,林晓鹏,郭东辉. 基于超级块支配图插装的软件测试工具设计与实现*[J]. 计算机应用研究, 2010, 27(3): 923-927. DOI: 10.3969/j.issn.1001-3695.2010.03.032 |
| 作者姓名： | 徐晓峰 陈艳 李伊飏 林晓鹏 郭东辉 |
| 作者单位： | 1. 厦门大学物理系,福建,厦门,361005 2. 厦门大学信息科学与技术学院,福建,厦门,361005 3. 厦门大学物理系福建,厦门,361005 4. 厦门大学物理系,福建,厦门,361005;厦门大学信息科学与技术学院,福建,厦门,361005 |
| 基金项目： | 国家自然科学基金资助项目(60753001);国家教育部新世纪人才计划基金资助项目 |
| 摘 要： | 通过超级块支配图来分析软件测试探针的合理插装位置，可有效地减少插装探针数量，降低代码插装对程序的影响。基于超级块支配图的代码插装原理，设计一种针对C语言的软件自动测试工具(SAT)，介绍了该工具中词法语法分析器、静态分析器、代码插装器等主要功能模块的具体实现方案，同时对SAT的插装性能进行了分析。 |
| 关 键 词： | 代码插装 覆盖测试 超级块支配图 |
Design and implementation of software testing tool based on super block dominator graph |
|
| XU Xiao-feng,CHEN yan,LI Yi-Yang,LIN Xiao-peng,GUO Dong-hui. Design and implementation of software testing tool based on super block dominator graph[J]. Application Research of Computers, 2010, 27(3): 923-927. DOI: 10.3969/j.issn.1001-3695.2010.03.032 | |
| Authors: | XU Xiao-feng CHEN yan LI Yi-Yang LIN Xiao-peng GUO Dong-hui |
| Affiliation: | (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. |
| Keywords: | code instrumentation coverage testing super block dominator graph |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 | |
| 点击此处可从《计算机应用研究》下载全文 | |