10、一致性测试方法解析

一致性测试方法解析

1. 成本与长度分析

在一致性测试中，不同方法在检查序列长度和生成成本方面有诸多考量。
- W 方法 ：计算 W 集的成本为 (O(pn^2))，W 集包含不超过 (n - 1) 个长度不超过 (n) 的序列。使用算法 10 构建树 T 集的成本为 (O(pn))，其最大层级为 (n)。生成 P 集的时间为 (O(pn^2))，最多可生成 (pn) 个长度最大为 (n) 的序列。由于要将 P 集中的每个转换与 W 集中的每个转换连接起来，最终可得到最多 (pn^2) 个长度为 (n + n) 的序列，总长度为 (O(pn^3))，总成本为 (O(pn^3))。
- Wp 方法 ：总长度和总成本同样为 (O(pn^3))。不过，实验结果表明，Wp 方法生成的检查序列通常比 W 方法生成的更短。
- UIO 方法和预设区分序列方法 ：这两种方法成本更高，因为确定一个状态是否有 UIO 序列或预设区分序列已被证明是 PSPACE 困难问题。在实际应用中，UIO 序列比区分序列更常见。而寻找自适应区分序列的成本为 (O(n^2))，其最大长度为 (n^2)。若使用自适应区分序列替代预设区分序列，由于有 (pn) 个转换，检查序列的总长度仍为 (pn^3)。

部分带有重置消息的规范机器，其检查序列长度要求为 (\Omega(pn^3))。

2. 无重置时使用区分序列

当机器 (M_S) 没有重置消息时，可使用归位序列替代，但这可能导致测试套件过长，实际中很少使用。

像 UIO 和 DS