64、自动机测试与学习：DFA、NFA及相关测试方法解析

自动机测试与学习：DFA、NFA及相关测试方法解析

1. I/O自动机测试方法

在I/O自动机的测试中，存在多种测试方法和概念。

动作重分类

在测试组合 $T \parallel A$ 中，动作是内部动作还是输出动作并无太大区别。可以使用操作符 $[ ]’$ 将 $T \parallel A$ 的输入动作重新分类为输出动作。设 $T^ $ 是将 $T$ 中 $in(T \parallel A)$ 里的输入动作重新分类为输出动作后得到的测试。除了 $part([T \parallel A]’)$ 的定义存在问题外，$[T \parallel A]’$ 与 $T^ \parallel A$ 是相同的。这样做的好处是将 $part([T \parallel A]’)$ 的问题转移到了测试上，在必须测试的定义中可以用 $T^* \parallel A$ 代替 $[T \parallel A]’$。

基于动作的必须测试

测试理论中存在基于状态和基于动作的两种测试方式。基于状态的测试中，执行成功当且仅当包含 $w$ 被启用的状态；基于动作的测试中，执行成功当且仅当包含动作 $w$。状态和动作的可能测试预序明显一致，但在默认完整性标准下，状态和动作的必须测试预序不一致。

设 $ab\subseteq_F^{must}$ 是 $\subseteq_F^{must}$ 的基于动作的版本。当以特定的公平性概念作为完整性标准时，基于状态和基于动作的必须测试结果相同，即 $ab\subseteq_F^{must}$ 等于 $\subseteq_F^{must}$。

公平必须测试与公平轨迹预序的