软件检查

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

介绍

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

检查流程

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

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

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

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

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

检查的角色

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

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

相关的检查类型

代码审查

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

同行评审

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

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

相关条目

• 软件工程
• 软件工程主题列表
• 能力成熟度模型 (CMM)