● 摘要
随着软件产业的飞速发展，软件质量对软件组织显得尤为重要，它关系着软件开发的成败。为了保证软件质量，人们开始在软件开发早期实施软件质量保证活动，软件审查是其中最为有效的手段，被广泛用于早期发现和排除软件产品的缺陷。虽然软件审查定义了严格的过程，但是过程执行中难免存在很多的主观因素，如果不对过程进行控制，审查不能达到预期的目的。因此，本文将研究如何对软件审查过程进行控制，通过建立量化控制的审查过程模型来指导审查过程的实施，收集软件审查过程数据和缺陷数据，并利用有效的分析方法对这些数据进行分析，从而基于量化信息精确掌握软件审查过程的状态，为审查过程决策提供客观依据。 首先，本文提出了一个基于量化控制的软件审查过程模型，该模型能够及时收集过程数据从而对审查过程进行实施的监控并支持审查过程的持续改进。然后，讨论了制定有效的审查计划的方法，研究了审查执行过程中的控制方法以及审查数据的分析方法，并讨论了缺陷分析和缺陷预防。 接着对审查有效性进行了分析，审查有效性是软件审查的一个重要指标，这里采用贝叶斯网络对审查有效性进行建模，文中给出了模型的描述以及初始化方法，然后对模型进行了分析，利用贝叶斯网络的预测能力对审查有效性进行预估。 最后，本文介绍了一个基于J2EE框架的软件审查支持系统的设计与实现。该系统以本文所介绍的量化控制模型和分析方法为基础，提供了审查计划、审查准备、审查会议、缺陷修复和验证、审查总结以及数据分析等功能，为有效地实施和控制软件审查过程提供有力的支持。