11、有限状态机与标记迁移系统的测试方法解析

有限状态机与标记迁移系统的测试方法解析

1. 有限状态机一致性测试方法

在有限状态机（FSM）的测试中，有多种方法可用于发现实现中的故障，这些方法基于不同的假设，会产生不同长度和成本的检查序列。

1.1 示例分析

假设有一个如图 4.8 所示的机器，它是图 4.1 中规范机器 MS 的一个有故障的实现，多了一个状态 s4。若假设机器状态数量相同，用 W 方法生成的原始序列无法发现这个故障。但当使用 m = 4 的 W 方法时，针对 P 中的 bbb、I 中的 b 和 W 中的 b，能生成序列 rbbbbb，从而暴露该故障。

1.2 不同假设下的测试方法

方法	适用条件	特点	检查序列长度和成本
Transition Tour (TT) 方法	除 set 消息外，利用所有假设，需 status 消息	用 status 消息检查实现是否处于正确状态	长度和成本与 pn 呈线性关系，无 status 消息时不能保证检测转移故障
W 方法、Wp 方法、唯一输入输出 (UIO) 序列方法、UIOv 方法、带重置的区分序列 (DS) 方法	无 status 消息，但有 reset 消息	DS 方法需区分序列，UIO 方