如何验证状态机

east1203 · 发表于 2019-9-24 19:17:06

您需要登录才可以下载或查看，没有账号？注册

x

校招面试被问到：验证一个状态机应该用定向测试还是随机测试？为什么？

我都不知道怎么验证一个状态机？

各位老哥有清楚的吗？

vin3ent · 发表于 2019-11-26 10:32:43

不是做验证的，但是觉得应该是定向测试，如果随机了，状态机跳转也就随机了，跳错了怎么判断呢？

janlesion · 发表于 2019-11-27 10:13:14

觉得应该是定向 +随机,定向可以验证到状态机是否符合正常功能,随机可以验证到状态机是否进行了异常处理等容错能力;一般验证都会定向+随机.

sutaotao2001 · 发表于 2019-11-27 12:02:55

定向 +随机, 目的不一样

夏尔 · 发表于 2019-11-28 14:02:49

哎哟，我的第一反应是定向，听大家一说，哦~学习了

kka · 发表于 2020-1-2 22:02:33

定向 + 隨機兩方面都要看.
這樣分析會比較客觀

mabin99 · 发表于 2020-5-13 16:28:00

一般状态机的验证只要定向就可以了，最终查代码覆盖率的时候分析好FSM的覆盖率就可以保证状态机的功能了；

[求助] 如何验证状态机