一种新的基于FSM的UIO序列生成算法 (2011年)

在一致性测试中，如何有效地生成UIO序列一直为人们所关注。针对此，提出一种新的基于FSM的UIO序列生成算法，进而由C语言编写实现。该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径，实验结果表明能够正确生成FSM图中各个状态的最短UIO序列。