基于缺陷模式的软件测试中的区间运算应用

• 作者: 宫云战 杨朝红 王雅文 肖庆
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 软件测试 静态分析 区间运算 缺陷模式 状态机
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 可信计算与信息安全
• 页码范围: 1630-1635
• 页数: 6页
• 分类号: TP1
• 字数: 5245字
• 语种: 中文

摘要

基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修改数据流方程来跟踪控制流图遍历中的区间变化.将区间运算应用于基于缺陷模式的软件测试,实验结果表明,区间运算能够较好地减少误报和提高缺陷检测精度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖庆	装甲兵工程学院信息工程系	25	258	8.0	15.0
3	杨朝红	装甲兵工程学院信息工程系	30	449	11.0	20.0
5	王雅文	北京邮电大学网络与交换技术国家重点实验室	15	313	8.0	15.0
6	宫云战	北京邮电大学网络与交换技术国家重点实验室	50	577	15.0	23.0