跳到正文
嵌入式微处理器· LinuxZn·· 21 小时前AI 评分57

让 AI 写状态机不出 bug:先表后码、穷举事件、表驱动、从表生成测试

让AI写状态机不出bug:先要表格,再要表驱动,最后要穷举测试

AI 导读

文章给出让 AI 辅助实现嵌入式状态机的四步做法:先表后码(先让 AI 输出状态转移表再写代码)、穷举事件(覆盖命令、硬件、时间、异步四类事件,不留默认)、表驱动实现(const 转移表进 Flash,执行器只查表)、从表生成穷举测试并让 AI 反向输出表格逐格 diff 校验。

来源:嵌入式微处理器 · mp.weixin.qq.com