问题描述
- 有限状态机测试用例生成
-
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;
这个是状态机,测试用例的算法看不懂。大神帮帮忙。
解决方案
不知道你这种写法是什么意思。比如0-b/f->0,假设0表示输入b/f表示状态机的两个状态变量bf后面的0是输出,你可以根据这些用例画出状态迁移图。
时间: 2024-11-10 05:37:18
不知道你这种写法是什么意思。比如0-b/f->0,假设0表示输入b/f表示状态机的两个状态变量bf后面的0是输出,你可以根据这些用例画出状态迁移图。