摘要
由于软件测试用例的输出部分很难确定 ,而通过测试变量自身的定义域和变量间的一致性约束关系 ,只需要确定输出值的范围而不用知道其确切的值 ,就可以提高了错误检测的效率 同时 ,检测的范围不局限于程序最后的输出结果 ,而是散布在程序中的各个有意义的变量 ,正如调试过程中设置断点观察的那些变量 。
This paper provides a method of variable integrity testing to detect the faults of software By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging As a consequence, the testing becomes more precise
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第11期1584-1589,共6页
Journal of Computer-Aided Design & Computer Graphics
基金
总装备部"十五"预研项目 ( 4 13 15 0 5 0 10 2 )
国家自然科学基金重点项目 ( 90 2 0 70 0 2 )资助
关键词
软件测试
变量依赖图
变量完整性
程序切片
software testing
data dependence graph
variable integrity
program slicing
