有限状态机测试用例生成

Question

0-b/f->0;0-a/f->1; 1-a/f->0;1-b/e->2;1-b/f->3; 2-a/e->2,2-b/e->0; 3-a/f->3; 3-b/f->0;
这个是状态机，测试用例的算法看不懂。大神帮帮忙。

Answer 1

不知道你这种写法是什么意思。比如0-b/f->0，假设0表示输入b/f表示状态机的两个状态变量bf后面的0是输出，你可以根据这些用例画出状态迁移图。