12、面向集成测试的结构测试覆盖标准：改进与评估

面向集成测试的结构测试覆盖标准：改进与评估

1. 传统测试覆盖标准概述

在Lustre程序的测试中，有几种常见的覆盖标准，这些标准用于评估测试的充分性。
- 基本覆盖标准（BC） ：若存在一组测试输入序列 $T$，能使长度小于等于 $n$ 的路径集合 $P_n$ 至少被激活一次，则满足该标准。形式上表示为 $\forall p \in P_n, \exists t \in T : AC(p) = true$，其目的是确保输入和输出之间的所有依赖关系至少被测试一次。
- 基本条件覆盖标准（ECC） ：对于路径 $p$，要求该路径在布尔输入的两个值（真和假）下都被激活。形式上为 $\forall p \in P_n, \exists t_1 \in T : in(p) \land AC(p) = true$ 且 $\exists t_2 \in T : \neg(in(p)) \land AC(p) = true$。此标准比基本覆盖标准更强，因为它考虑了输入值变化对输出的影响。
- 多条件覆盖标准（MCC） ：该标准检查路径输出是否依赖于路径上所有边（包括内部边）的所有组合。要满足此标准，测试输入序列需确保路径上每个边值的激活条件都得到满足。形式上为 $\forall p \in P_n, \forall e \in p, \exists t_1 \in T : e \land AC(p) = true$ 且 $\exists t_2 \in T : \neg(e) \land AC(p) = true$。

对于给定的路径长度 $n$，MCC 包含 ECC，EC