| 基于缺陷模式的软件测试中的区间运算应用 |
| |
| 引用本文： | 杨朝红,宫云战,肖庆,王雅文.基于缺陷模式的软件测试中的区间运算应用[J].计算机辅助设计与图形学学报,2008,20(12). |
| |
| 作者姓名： | 杨朝红 宫云战 肖庆 王雅文 |
| |
| 作者单位： | 1. 装甲兵工程学院信息工程系,北京,100072;北京邮电大学网络与交换技术国家重点实验室,北京,100876
2. 北京邮电大学网络与交换技术国家重点实验室,北京,100876 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)
|
| |
| 摘 要： | 基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修改数据流方程来跟踪控制流图遍历中的区间变化.将区间运算应用于基于缺陷模式的软件测试,实验结果表明,区间运算能够较好地减少误报和提高缺陷检测精度.
|
| 关 键 词： | 软件测试 静态分析 区间运算 缺陷模式 状态机 |
The Application of Interval Computation in Software Testing Based on Defect Patterns |
| |
| Yang Zhaohong,Gong Yunzhan,Xiao Qing,Wang Yawen.The Application of Interval Computation in Software Testing Based on Defect Patterns[J].Journal of Computer-Aided Design & Computer Graphics,2008,20(12). |
| |
| Authors: | Yang Zhaohong Gong Yunzhan Xiao Qing Wang Yawen |
| |
| Affiliation: | Yang Zhaohong1,2) Gong Yunzhan2) Xiao Qing1,2) Wang Yawen2)1)(Department of Information Engineering,Academy of Armored Force Engineering,Beijing 100072)2)(State Key Laboratory of Networking , Switching Technology,Beijing University of Posts , Telecommunications,Beijing 100876) |
| |
| Abstract: | Lowering the false positive rate is a challenge for software testing based on defect patterns.This paper expands the typical interval computation and proposes a method for interval set computation.The proposed interval computation of various data types include real number variable,Boolean variable,pointer variable and array variable.May and Must set are used to compute interval restricted by conditional statement.Updated data flow equation is used to compute variables' interval in control flow traverse.The ... |
| |
| Keywords: | software testing static analysis interval computation defect patterns state machine |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
