Towards automation of checklist-based code-reviews
Towards automation of checklist-based code-reviews
复制标题
实现基于清单的代码审查的自动化
DOI：
10.1109/issre.1996.558687
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
R. Crisan
中科院分区：
文献类型：
--
作者：
F. Belli;R. Crisan
已经发现，不同类型的代码审查（Fagan风格的代码声明，类似Parnas的主动设计评论和演练）在改善软件质量方面非常有用。在许多情况下，审阅者使用清单在审查会议期间指导他们的分析。但是，由于缺乏支撑工具，至少可以部分自动化典型的多个出现规则，因此有价值的，基于清单的代码浏览具有其高成本的主要缺点。本文介绍了一种基于清单的单个审查过程的某些步骤的半自动化方法。提出的方法是交互式的，即将启用审阅者来实现，扩展和检查其清单的一致性和冗余。该方法基础的基本思想是使用基于规则的系统，调整编译器理论和知识工程的概念，以获取和代表有关该计划的知识。通过嵌入式真实维护系统认可和解决有关研究计划的多余和相互矛盾的知识。由于故障诊断，使用故障分类规则。使用软件可靠性模型来验证每个审核会话的结果。该方法在对汽车行业开发的常规C程序进行分析中显示了有希望的初步结果。
Different types of code-reviews (Fagan-style code-inspections, Parnas-like active design reviews and walkthroughs) have been found to be very useful in improving the quality of software. In many cases reviewers use checklists to guide their analysis during review sessions. However, valuable, checklist-based code-reviews have the principal shortcoming of their high costs due to lack of supporting tools enabling at least partial automation of typical multiple appearing rules. This paper describes an approach towards semi-automation of some steps of individual review processes based on checklists. The method proposed is interactive, i.e. reviewers will be enabled to actualize, extend, and check the consistency and redundancy of their checklists. The basic idea underlying the approach is the usage of a rule-based system, adapting concepts of the compiler theory and knowledge engineering, for acquisition and representation of knowledge about the program. Redundant and conflicting knowledge about the program under study is recognized and solved by means of an embedded truth maintenance system. As a result of fault diagnosis, rules for fault classification are used. Software reliability models are applied to validate the results of each review session. The approach has shown promising preliminary results in analyses of conventional C-programs developed in the automotive industry.