Skip to main content

7.23 验证案例

7.23.1 验证案例概述​

验证案例（verification case）定义是一种案例定义，其结果是对案例主题是否满足特定需求的一个判定。 验证案例使用（verification case usage）是一种对验证案例定义使用的案例使用。

验证案例的主题是一个输入参数，用来指定要评估的系统或者其他实体， 已确定其是否满足特定的需求（经常称为“待测试单元”或者“待验证单元”）。 主题在验证案例定义定义中一般定义的比较宽泛，而在使用中进行更具体的指定。 验证案例的目标是验证主题是否满足一个或多个特定的需求，这些需求在目标中作为特殊的所需约束来指定。 验证案例的结果是一个判定（verdict），其值可能是：

  • 通过（pass），表示主题满足要验证的需求。
  • 失败（fail），表示主题不满足要验证的需求。
  • 不确定（inconclusive），表示不能确定主题是否满足要验证的需求。
  • 错误（error），表示在执行验证过程中发生了错误。

典型的验证案例包括一组验证动作（verification action），分别执行下述步骤：

  1. 收集数据。收集有关主题的数据，以支持验证目标，通常通过不同的验证方法来收集，例如 分析、检查、演示以及测试。
  2. 分析收集数据。例如，数据可能包括对一个特定个体在不同条件下的多个测量， 或者不同个体的测量。该步骤可能需要确定和测量相关的概率分布、均值以及标准方差。
  3. 评估分析结果。基于目标进行评估，产生一个判定。

每一个验证动作需要一组资源来执行动作。 可能包括人力、装备、工具，以及其他资源。 这些资源可能在模型中表示为部件，来执行动作； 或者更进一步的，表示为执行者，作为验证案例的执行者参数。