软件代码测试技术

作者：金大海; 宫云战; 王雅文; 黄俊飞

来源：信息通信技术, 2015, 9(03): 33-48.

• 软件测试
• 单元测试
• 缺陷检测
• 数据生成

在白盒测试技术中,代码缺陷模式检测和测试数据自动生成是两个典型的测试技术,目前虽然面向此类技术的工具众多,但其实现原理及应用效果却各不相同。文章基于对缺陷模式及用例生成技术的深入研究,提出一种有效的软件代码测试技术。首先从技术特点、技术架构、缺陷模式和关键技术四个方面介绍缺陷模式检测技术,然后从技术架构、覆盖准则和相关技术三个方面介绍自动化数据生成技术,最后将这两种技术分别应用于国产测试工具——软件缺陷检测系统(DTS)和自动化单元测试系统(CTS),取得较好的效果。

• 单位
  网络与交换技术国家重点实验室; 北京邮电大学