软件的变量完整性测试方法
Variable Integrity Testing of Software作者机构：中国科学院计算技术研究所信息网络室北京100080 中国科学院研究生院
出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)
年 卷 期：2004年第16卷第11期
页 面：1584-1589页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：总装备部"十五"预研项目 ( 4 13 15 0 5 0 10 2 ) 国家自然科学基金重点项目 ( 90 2 0 70 0 2 )资助
摘 要：由于软件测试用例的输出部分很难确定 ,而通过测试变量自身的定义域和变量间的一致性约束关系 ,只需要确定输出值的范围而不用知道其确切的值 ,就可以提高了错误检测的效率 同时 ,检测的范围不局限于程序最后的输出结果 ,而是散布在程序中的各个有意义的变量 ,正如调试过程中设置断点观察的那些变量 。
维普期刊数据库
同方期刊数据库