基于匹配技术的代码审查方法研究

摘要：

代码测试是目前软件测试研究的一个焦点,程序代码中隐含的错误对软件安全造成了潜在威胁,降低了软件质量及可靠性。传统的代码审查方法是通过代码走查和代码走读,既费时又费力.本文介绍了代码审查的相关知识,对代码审查范围、模式匹配问题进行讨论.

关键词： 静态检测 模式匹配 抽象语法树 语法规则 代码审查 软件测试 代码测试 软件安全

作者: 车远征 李强 张鹏 王超

作者单位: 合肥电子工程学院

会议类型: 国内会议

会议名称: 中国电子学会电子系统工程分会第十五届信息化理论学术研讨会

会议地点: 南京

会议语种:中文

页码: 394-396

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