EETOP 创芯网论坛

便捷登录,只需一步

找回密码

  登录   注册  

搜帖子
第三代半导体技术资料|下载奖励300信元
查看: 414|回复: 6

[求助] 如何验证状态机

[复制链接]
发表于 2019-9-24 19:17:06 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?注册

x


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

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

各位老哥有清楚的吗?
发表于 2019-11-26 10:32:43 | 显示全部楼层
不是做验证的,但是觉得应该是定向测试,如果随机了,状态机跳转也就随机了,跳错了怎么判断呢?
回复 支持 反对

使用道具 举报

发表于 2019-11-27 10:13:14 | 显示全部楼层
觉得应该是定向 +随机,定向可以验证到状态机是否符合正常功能,随机可以验证到状态机是否进行了异常处理等容错能力;一般验证都会定向+随机.
回复 支持 反对

使用道具 举报

发表于 2019-11-27 12:02:55 | 显示全部楼层
定向 +随机, 目的不一样
回复 支持 反对

使用道具 举报

发表于 2019-11-28 14:02:49 | 显示全部楼层
哎哟,我的第一反应是定向,听大家一说,哦~学习了
回复 支持 反对

使用道具 举报

发表于 2020-1-2 22:02:33 | 显示全部楼层
定向 + 隨機 兩方面都要看.
這樣分析會比較客觀
回复 支持 反对

使用道具 举报

发表于 2020-5-13 16:28:00 | 显示全部楼层
一般状态机的验证只要定向就可以了,最终查代码覆盖率的时候分析好FSM的覆盖率就可以保证状态机的功能了;
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐上一条 /2 下一条

关闭

小黑屋| 关于我们| 联系我们| 在线咨询 |  EETOP 创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2020-6-3 11:03 , Processed in 0.104910 second(s), 9 queries , Gzip On, Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表