65、软件审查与验证的信息通信技术工具

软件审查与验证的信息通信技术工具

1. 引言

信息通信技术（ICT）虽已发展成熟，但软件开发项目仍易失败，即便项目未失败，软件质量也有很大提升空间。如今软件项目中常见且代价高昂的错误之一，是将检测和纠正软件问题的活动推迟到项目结束，这会使后期返工成本远超项目成本，约 80% 的可避免返工源于 20% 的缺陷。因此，软件审查等提高软件质量的技术至关重要。

软件审查（检查/验证）最早由 Fagan 在 1976 年提出，其过程主要包含六个步骤：
1. 规划 ：组织和准备软件审查，如准备审查材料和程序、组建审查团队、安排审查会议、选择审查参与者并分配角色。
2. 概述 ：作者解释审查的整体范围和目的。
3. 个人准备 ：每个审查员分析和审查软件制品。
4. 小组审查会议 ：查找错误，有时也叫“记录会议”，审查团队进行纠正，读者总结工作。
5. 返工 ：缺陷纠正，作者通过审查、修订和纠正已识别的缺陷，或减少软件制品中的错误来解决问题。
6. 跟进 ：验证纠正质量，决定是否需要重新检查。

自 Fagan 引入软件审查和验证技术后，研究人员一直在探索提高软件审查性能的方法，ICT 软件审查工具被认为是支持软件审查过程的重要元素。下面将介绍一些用于软件审查和验证的 ICT 工具。

2. ICT 工具介绍

2.1 ICICLE（C 语言环境中的智能代码检查）