基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.

Object-FMA based software code inspection approach

There are two disadvantages in the checklist used in traditional code inspection: there is no mapping mode from code to the defect record of checklist, and the defect modes in the checklist is incomplete which may result in omitting the code defects in code inspection. To resolve the above two problems, a new code inspection approach was presented by dividing the code into different levels and using failure modes analysis at different levers instead of the traditional checklist. Furthermore, an object failure modes analysis method (Object-FMA) was proposed to systematically analyze the failure modes of code objects and establish the failure modes database for code object in different levels. Finally, this Object-FMA approach was applied into the code inspection of military software. The results show that the proposed approach can provide a mapping mode from the code objects to the failure modes database, and improve the efficiency of the code inspection. The results also show that this Object-FMA approach can not only find the defects in the code lexical, syntax or semantic which can also be detected by traditional checklist, but also effectively find the defects caused by the negligence of developer or the algorithm error which may can-t be detected by traditional checklist.