基于静态测试工具的软件测试方法研究

摘要：

静态测试是软件测试的一种重要方法,利用静态测试工具可以方便测试人员和程序员较早的发现并消除代码缺陷.本文以Klocwork K7作为静态测试工具,分析了该静态测试工具能够检测的软件缺陷类型,给出了工具在项目中的应用结果以及缺陷定和消除方法.

关键词： 软件质量 静态测试 软件测试 代码缺陷

作者: 李华莹 于秀山

作者单位: 中国电子系统设备工程公司研究所 北京市 100141

会议类型: 国内会议

会议名称: 中国电子学会可靠性分会第十四届学术年会

会议地点: 海口

会议语种:中文

页码: 343-348

在线出版日期: 2008-11-01（万方平台首次上网日期，不代表论文的发表时间）