软件代码测试技术.pdfVIP

Research Development 研究与开发 软件代码测试技术 金大海 宫云战 王雅文 黄俊飞 北京邮电大学网络与交换技术国家重点实验室 北京 1000876 摘　要 在白盒测试技术中，代码缺陷模式检测和测试数据自动生成是两个典型的测试技术，目前虽然面向此类技 术的工具众多，但其实现原理及应用效果却各不相同。文章基于对缺陷模式及用例生成技术的深入研究，提出一种 有效的软件代码测试技术。首先从技术特点、技术架构、缺陷模式和关键技术四个方面介绍缺陷模式检测技术，然 后从技术架构、覆盖准则和相关技术三个方面介绍自动化数据生成技术，最后将这两种技术分别应用于国产测试工 具——软件缺陷检测系统(DTS)和自动化单元测试系统(CTS)，取得较好的效果。 关键词 软件测试；单元测试；缺陷检测；数据生成 PC-Lint[4] 、北邮的DTS[5] 、北航的QESAT[6] 和北大的 概述 CO BOT [7] ；规则审查技术针对一些特定的开发规范 软件测试技术可以从多种角度进行分类，如按开 进行检查 ，如版式规范、命名规范、书写规范等 ， 发阶段可分为单元测试 集成测试 系统测试 确认测 该技术在语法层面上进行检测难度不大 ，典型工具 、 、 、 试和验收测试，按是否需要程序执行可分为静态测试和 有Parasoft 的Jtest和C++test[8] 、Rational的Software A nalyzer[9] MicroFocus公司Dev Partner 中的Source 动态测试，按是否需要源代码可分为白盒测试和黑盒测 、 试，按程序运行特性可分为功能测试和性能测试，按功 Code Rev iew[10] 功能、Telelogic公司Logiscope 中的 能测试类型可分为逻辑功能测试、安装卸载测试、易用 RuleChecker[11] 功能和马里兰大学的FindBugs[12] ；质量 性测试、兼容性测试、安全性测试、图形界面测试等， 度量技术首先定义若干个度量元，通过度量元的组合形 成质量标准 最后通过组合质量标准形成质量因素 该 按性能测试类型可分为一般性能测试 压力测试 负载 ， ， 、 、 技术也是在语法层面展开的 典型的工具是Telelogic公 测试 稳定性测试 另外 还有回归测试 冒烟测试 ， 、 ， ， 、 、 随机测试等等 基于以上测试分类 对于白盒测试可根 司Logiscope 中的Audit功能。 。 ， 据是否需要程序运行进一步划分为静态白盒测试和动态 动态白盒测试主要包括单元技术、测试评估技术 白盒测试。 和运行监控技术。单元技术基于被测单元的代码及逻 静态白盒测试主要包括缺陷检测技术、规则审查技 辑结构产生并执行测试用例 ，其难点在于如何对复杂 术和质量度量技术。缺陷检测技术针对源代码中存在的 结构及路径进行求解 ，典型的数据生成工具有斯坦福 一些潜在语法或语义错误进行检测，如对可能为空的指 大学的KLEE[13] 、贝尔实验室的DA RT[14] 、伯克利大学 针进行解引用 对已分配的内存没有及时