软件代码走查计算机辅助方法研究及工具开发

摘要：

软件代码走查是一种经济、高效的静态测试方法,对提高软件产品的质量和可靠性发挥了重要作用.但对于走查过程中代码浏览、缺陷检查以及缺陷信息的管理等仍普遍采用人工手段,影响走查效率,而且容易产生人为错误,成为制约代码走查工作顺利开展的一个关键因素.本文对软件代码走查过程的计算机辅助方法进行了研究,并开发相应的辅助工具SWAT,为代码走查人员提供帮助.

关键词： 软件测试 代码走查 计算机辅助 软件可靠性

作者: 张虹

作者单位: 北京航空航天大学工程系统工程系,北京,100083

会议类型: 国内会议

会议名称: 中国航空学会可靠性工程专业委员会第十届学术年会

会议地点: 昆明

会议语种:中文

页码: 501-504

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