软件检查

软件检查是针对软件工作文件的同行评审,由受过训练的人员进行,有事先定义的程序,目的是要找到软件中的缺陷。有一种正式的软件检查法,称为范根检查法,得名自创建者Michael Fagan。

介绍

软件检查是在软件专案中最常见的评审活动。检查的目的是为了识别缺陷。常见检查的工作文件包括有需求分析以及测试计划英语test plan。检查时会选定一份文件,并且会召集成员开会来进行检查. 会选定主持人来主持会议,每一个参与的检查者会阅读工作文件,标示其中的缺陷。检查过程中的“缺陷”是指检查者认为有问题,无法通过的文件内容。例如在检查软件需求规格时,“缺陷”就是检查者不同意的需求文件内容。

检查流程

检查流程一开始是在1970年代中期发展[1],后来也有延展以及修改。

流程中需要有进入准则,确认大家是否已预备好进入检查流程。这可以避免未完成的工作文件进入检查流程。进入准则可能是一份查检表,其中包括许多项目,例如“文件中使用的拼字正确。”

检查流程中的各阶段包括有:计划、简介会议、准备、检查会议、修正及追踪。其中的准备、检查会议和修正可能会重复几次。

  • 计划(Planning):由主持人针对检查进行规划。
  • 简介会议(Overview meeting):作者说明工作文件的背景。
  • 准备(Preparation):所有的检查者检查工作文件,看其中是否有缺陷 。
  • 检查会议(Inspection meeting):在会议中朗读者将工作文件的各部分念出,检查者指出各部分的缺陷。
  • 修正(Rework):作者依检查会议的行动计划修正工作文件。
  • 追踪(Follow-up):检查作者所做的所有修改,确认全部正确。

当流程满足事先定义的结束准则时,主持人即可结束检查流程。 “检查”是在软件工程专案执行过程中,很重要的一部分。

检查的角色

在检查过程中,会有以下的角色。

  • 作者:建立待检查工作文件的人。
  • 主持人:领导检查流程的人,主持人规划检查流程,并且进行协调。
  • 朗读者:朗读整份文件的人,一次读出一部分,其他的检查者会指出有缺陷之处。
  • 记录:在检查过程中记录大家找到缺陷的人。
  • 检查者:检查工作文件中是否有缺陷的人。

相关的检查类型

代码审查

代码审查也可以用软件检查的方式进行,由团队来检查程式码,并且设法找出缺陷。在代码审查过程中,缺陷是指没有正确实现需求的程式,没有依设计者预期方式执行的程式,或是没有不对,但还可以再进行改善的程式(例如可以提高可读性,或是提升其计算速度)。代码审查除了帮助团队找到缺陷并且修正缺陷,在审查程式码时,程式设计者也可以彼此训练,新进的程式设计者也可以学习新的程式设计技巧。

同行评审

软件同行评审是可以提早找到软件缺陷,并学习软件文件(artifact)的最佳实务之一。同行评审是由许多的Walkthrough和软件检查所组成,是软件产品工作活动之一。有许多有组织的知识、技术以及行为有助于同行评审的最佳实务。同行评审的元素包括了结构化的检查流程、杰出产品查检表的标准、已定义的成员角色、表单以及报告。

软件检查是最严谨的同行评审方式,会充份使用这些元素来寻找软件缺陷。软件Walkthrough(走察)会选择性的使用这些元素,协助参与者对软件文件有更深入的了解,也让参与者可以达成共识。由测量结果看出,同行评审可以加速学习,并且可以提早找到缺陷,这些投资回报十分值得。最好的情形下,同行评审是在组织中透过事先定义的计划来达到的,计划中包括有政策和程序的准备,训练参与者和管理者、定义测量以及数据库结构,并且持续维持这些基础设施。

相关条目

参考资料

  1. ^ IBM Technical Report RC 21457 Log 96856 April 26, 1999.