| 面向故障的软件测试方法研究 |
| |
| 引用本文： | 张威,肖庆,卢庆龄,马雪雁. 面向故障的软件测试方法研究[J]. 装甲兵工程学院学报, 2004, 18(2): 6-8 |
| |
| 作者姓名： | 张威 肖庆 卢庆龄 马雪雁 |
| |
| 作者单位： | 装甲兵工程学院信息工程系,北京,100072 |
| |
| 摘 要： | 提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.
|
| 关 键 词： | 静态测试 存储泄漏 空指针引用 数组越界 |
| 文章编号： | 1672-1497(2004)02-0006-03 |
| 修稿时间： | 2004-03-15 |
Software Errors Static Testing Method for Systematic Collapse |
| |
| ZHANG Wei XIAO Qing LU Qing-ling MA Xue-yan. Software Errors Static Testing Method for Systematic Collapse[J]. Journal of Armored Force Engineering Institute, 2004, 18(2): 6-8 |
| |
| Authors: | ZHANG Wei XIAO Qing LU Qing-ling MA Xue-yan |
| |
| Affiliation: | ZHANG Wei XIAO Qing LU Qing-ling MA Xue-yan |
| |
| Abstract: | This paper puts forward a software errors static testing method for systematic collapse, which is meant for five types of errors, namely bad deallocation, memory leak, null pointer dereference, out of bounds array access, un-initialized variables. The proposed method can be effective in finding out the errors in software based on accidence analysis and syntax analysis, use examining point searching arithmetic to search for suspicious point, with appropriate manual confirmation whenever possible. |
| |
| Keywords: | static testing memory leak null pointer dereference out-of-bounds arrayaccess |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
