| 软件的变量完整性测试方法 |
| |
| 引用本文： | 黄光燕,李晓维. 软件的变量完整性测试方法[J]. 计算机辅助设计与图形学学报, 2004, 16(11): 1584-1589 |
| |
| 作者姓名： | 黄光燕 李晓维 |
| |
| 作者单位： | 中国科学院计算技术研究所信息网络室,北京,100080;中国科学院研究生院,北京,100039;中国科学院计算技术研究所信息网络室,北京,100080 |
| |
| 基金项目： | 总装备部“十五”预研项目 ( 4 13 15 0 5 0 10 2 )，国家自然科学基金重点项目 ( 90 2 0 70 0 2 )资助 |
| |
| 摘 要： | 由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率．同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准．
|
| 关 键 词： | 软件测试 变量依赖图 变量完整性 程序切片 |
Variable Integrity Testing of Software |
| |
| Huang Guangyan ,) Li Xiaowei ) ). Variable Integrity Testing of Software[J]. Journal of Computer-Aided Design & Computer Graphics, 2004, 16(11): 1584-1589 |
| |
| Authors: | Huang Guangyan ) Li Xiaowei ) ) |
| |
| Affiliation: | Huang Guangyan 1,2) Li Xiaowei 1) 1) |
| |
| Abstract: | 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 |
| |
| Keywords: | software testing data dependence graph variable integrity program slicing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
