17、转换系统测试与基于输入/输出状态机的一致性测试

转换系统测试与基于输入/输出状态机的一致性测试

在系统测试领域，确保实现与规范的一致性至关重要。本文将深入探讨转换系统测试的相关概念，包括测试用例、测试执行、测试推导，以及基于输入/输出状态机（IOSM）的一致性测试方法。

1. 测试用例

在进行测试推导之前，我们需要明确测试用例的概念。测试用例是实验者对实现进行实验的规范描述，可以用标记迁移系统（LTS）来表示。为了测试具有静止概念的实现关系，我们引入了一个新的标签 θ，它是测试者对应于 δ 的标签，用于观察静止状态。因此，测试用例属于 LTS(U ∪ θ, I) 领域。

为了保证测试用例在有限时间内完成，并对测试过程实现最大控制，我们对测试用例的行为添加了一些限制：
- 确定性和有限行为 ：测试用例必须是确定性的，且具有有限行为。即对于任意 σ ∈ L∗θ，p after σ 最多只有一个元素。
- 终端状态 ：测试用例的状态集合 Q 中包含终端状态 pass 和 fail，且 init(pass) = init(fail) = ∅。
- 状态输入输出规则 ：对于测试用例中的任意状态 q（q ≠ pass, fail），要么 init(q) = {a}（其中 a ∈ I），要么 init(q) = U ∪ {θ}。

测试用例的类用 TEST(U, I) 表示，而测试套件 T 是一组测试用例，即 T ⊆ TEST(U, I)。

在测试用例的定义中，规范的输入和输出标签集是相反的，这使得直接谈论输入和输出变得困难。因此，我们使用“刺激”来表示测试用例