你这个又不是有限状态，下面是定义：

状态数量有限
输入集合有限
转换规则有限
路径有限

我转的那一堆if，前面说了，7个状态8个事件，都是有限的，为啥做不出全路径覆盖的单元测试？

做编译器的为啥能对C/C++的switch case语句做全路径测试优化，就是因为case限制的条件是常量，输入是有限的。

【 在 hgoldfish 的大作中提到: 】
: c++ 编译器在 switch(enum) 的时候，如果没有覆盖全部的枚举量的时候会报警告的。
: 之前 python 在推出 match 功能的时候就有人谈到这个 match 上线之后没法遍历所有路径。
: 说 AI 可以给出覆盖所有路径的测试用例，说实话我也不信。比如以下代码:
: ...................
--
修改:poocp FROM 171.213.211.*
FROM 171.213.211.*