软件工程质量问答 #3

问题：请阐述验证和确认在软件开发中的益处，并说明在软件开发过程中验证和确认的技术。

答案： - 验证和确认在软件开发过程中扮演着重要的角色，因此在每个步骤都进行验证和确认是必要的。它涵盖以下方面：

1. 确保软件按照用户需求运行。

2. 提高质量。

3. 提高开发过程中的工作效率。

4. 软件的修改。

验证与确认的技术

1. 质量保证 - 通过适当的计划和系统的执行以及控制，可以保证更好的质量。质量保证的主要目标是检查开发过程中使用的措施，以使错误的可能性降到最低，并且如果在过程中出现错误，则解决问题。为了获得更好的输出，开发人员会采取许多措施。

2. 走查 - 在走查过程中，材料由审阅者检查和评估。这个过程严格监督所使用的材料是否达到专家意见的质量要求。走查的目标是找出问题区域。借助专家，问题得以解决，所有这些都将在会议中讨论。从走查中获益的重要想法：

   • 必须有进行走查会议的具体原因。

   • 每个工作步骤都基于时间表来检查所有产品是否正常工作。

   • 应记录下错误，并在走查会议中进行解决。

   益处

   • 错误在第一阶段就被轻松发现，从而减少时间浪费。

   • 它提高了团队之间的沟通和协调，这些团队正在从事项目。

   • 在别人的帮助下，我们可以学到更多。

3. 审查 - 在此步骤中，需要一名训练有素的检查员，他们能够更好地进行检查过程。审查可以在软件开发的整个生命周期中进行，并可以获得更好的结果。根据 Fagan -

   需要执行三次独立的审查。一次遵循设计但优先考虑实现；一次遵循实现但优先考虑单元测试；一次遵循单元测试。

   根据 Fagan -

   审查团队由四人组成，分别扮演主持人、设计者、实现者和测试者的角色。

4. 统计分析 - 当使用软件工具分析程序文本时，这称为统计分析技术。它涵盖以下要点：

   • 发现结构性错误并找出实际测量值与预期测量值之间的差异。

   • 生成重要信息，以便于理解程序和文档过程。

   • 有助于发现问题。

   • 有助于降低错误成本。

5. 符号执行 - 符号执行是一种验证方法，其中我们将数据以符号的形式输入，并且在此过程中不使用数字作为输入。如果程序正常执行，则程序单元的输入变量将被分配符号值而不是字面值。如果我们输入数据，则将以符号的形式获得输出。