| 基于Object-FMA的软件代码审查方法 |
| |
| 作者姓名： | 黄百乔 张虹 陆民燕 李震 |
| |
| 作者单位： | 北京航空航天大学,可靠性与系统工程学院,北京,100191;北京航空航天大学,可靠性与系统工程学院,北京,100191;北京航空航天大学,可靠性与系统工程学院,北京,100191;北京航空航天大学,可靠性与系统工程学院,北京,100191 |
| |
| 摘 要： | 针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.
|
| 关 键 词： | 失效模式 代码错误 审查 |
| 收稿时间： | 2010-01-06 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
|
点击此处可从《北京航空航天大学学报》下载免费的PDF全文 |
|
