软件评审方法中最正式的方法是

软件评审在软件开发过程中起着至关重要的作用，同时也是确保软件质量的一个关键环节。通常，人们使用许多不同的方法来评估软件，包括软件漏洞扫描、测试、代码审查和安全分析等。然而，在所有这些方法中，软件评审方法中最正式和权威的方法是什么呢？

正式的软件评审方法是指一套规范、完整和严格的过程，其中涉及多个步骤和参与者。这些步骤包括计划、准备、检查、记录和报告等。而这几个步骤是按照一个既定的标准来进行的，具有权威性和一致性。正式的软件评审方法通常涵盖多个层面，例如需求评审、设计评审、代码审查等，这些部分结合起来可以确保软件开发中各个环节的质量得到保证。

在实际应用中，软件评审方法最正式的方法之一就是Fagan检查法。该方法由Michael Fagan于20世纪70年代提出，是最早也是最广泛使用的正式方法之一。Fagan检查法使用逐行审查的方法来评估软件代码的质量，涉及四个主要角色：作者、主持人、审查者和记录员。在该方法中，代码是通过一系列步骤进行彻底检查的，以确保它们符合预期的质量标准。

另一种最正式的软件评审方法是基于CMMI模型的度量方法。CMMI（能力成熟度模型和集成）是一种通用的软件过程改进模型，旨在帮助组织提高软件开发和维护的过程。该模型包括五个级别，每个级别都与一组特定过程的成熟度有关。而基于CMMI模型的软件评审方法则是通过比较组织当前的软件开发和维护过程与CMMI模型的指导，来确定组织的软件成熟度和相关的改进方向。

此外，ISO/IEC 12207和ISO/IEC 15504也是另外两个最权威的正式软件评审方法。ISO/IEC 12207是一套最通用的国际标准之一，涵盖软件生命周期过程的所有方面，包括开发、测试、维护和升级。而ISO/IEC 15504是一种评估方法，可用于评估软件开发生命周期中的各个阶段的质量。这两个方法的组合可以确保从不同角度对软件进行评审，从而获得更全面更具权威性的结果。

综上所述，软件评审方法中最正式和权威的方法包括Fagan检查法、基于CMMI模型的度量方法、ISO/IEC 12207和ISO/IEC 15504。每种方法都具有不同的优点和适用场景，在进行软件评审时应根据特定的需求和目标选择最适合的方法进行评估。