软件的变量完整性测试方法

• 作者: 李晓维 黄光燕
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 软件测试 变量依赖图 变量完整性 程序切片
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: CAD/CAT/CAM/CG系统设计与应用技术
• 页码范围: 1584-1589
• 页数: 6页
• 分类号: TP311
• 字数: 5845字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2004.11.021

摘要

由于软件测试用例的输出部分很难确定,而通过测试变量自身的定义域和变量间的一致性约束关系,只需要确定输出值的范围而不用知道其确切的值,就可以提高了错误检测的效率 .同时,检测的范围不局限于程序最后的输出结果,而是散布在程序中的各个有意义的变量,正如调试过程中设置断点观察的那些变量,使得检测错误更加精准.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晓维	中国科学院计算技术研究所信息网络室	127	1467	20.0	32.0
2	黄光燕	中国科学院计算技术研究所信息网络室	2	16	2.0	2.0