查状态切换有没有出错

上传状态定义和迁移表，5分钟拿到校验脚本和问题清单。上传批准的状态定义和迁移表，AI生成校验脚本和测试用例，标出问题点。不连车、不控执行器，不替代功能安全验证和实车测试。

能拿到什么

• 推荐：读上传的状态定义和迁移表，出校验脚本、覆盖用例和问题清单报告（Markdown报告，问题按严重程度标红黄，附Python脚本文件），约 5 分钟
• 旗舰：状态迁移校验报告、Python校验脚本、覆盖用例集、状态迁移图

要你点选的几项

上传状态定义和迁移表、查哪个模块、重点查什么、迁移怎么算合法、还要考虑哪些约束、用例怎么覆盖、补充说明(选填)、我确认脚本不新增状态或迁移、不连接车辆、不控制执行器，不替代功能安全验证。多数点一下就行，没选的按常见情况替你定，交付时说清哪几项是按默认的。

怎么办

1. 上传状态定义和迁移表
2. 选要查的问题类型
3. 看标出的问题和生成的校验代码

别人还这样说

• 这是我们的汽车ECU代码，用静态分析工具查一下状态切换逻辑错误。
• 帮我跑一下这个Simulink模型，检查状态机有没有死锁或非法跳转。