📘 升级状态机设计与实现
30章 · 从入门到项目
🎯 友好色系
01
状态机基础
三要素 · 应用场景
➔
02
状态机分类
Moore · Mealy · 选型
➔
03
状态图绘制
符号 · PlantUML · Draw.io
➔
04
状态表设计
转移表 · 输出表
➔
05
编码风格
二进制 · 格雷码 · 独热码
➔
06
状态机实现
switch-case · 状态表驱动
➔
07
状态机实现
面向对象 · 状态模式
➔
08
状态机实现
函数指针表 · 查表法
➔
09
层次状态机
嵌套 · 历史状态
➔
10
层次状态机实现
Harel · UML状态图
➔
11
并发状态机
正交区域 · 同步通信
➔
12
状态机框架
QP · 事件驱动 · 主动对象
➔
13
状态机框架
Boost.Statechart · SMC
➔
14
状态机调试
日志 · 跟踪 · 断点
➔
15
状态机测试
覆盖测试 · 模型测试
➔
16
状态机验证
形式化 · 模型检查 · 不变式
➔
17
状态机优化
状态合并 · 最小化
➔
18
状态机与中断
ISR · 嵌套 · 状态保存
➔
19
状态机与RTOS
任务状态机 · 消息驱动
➔
20
状态机与通信协议
UART · I2C · SPI
➔
21
状态机与UI
菜单导航 · 页面切换
➔
22
状态机与游戏
角色AI · 动画状态机
➔
23
状态机与工作流
审批流程 · 订单状态
➔
24
状态机与硬件描述
VHDL · Verilog · FSM综合
➔
25
状态机与安全
故障安全 · 看门狗 · 恢复
➔
26
状态机与测试自动化
生成用例 · 自动化脚本
➔
27
状态机与机器学习
强化学习 · MDP · 状态抽象
➔
28
状态机设计模式
状态 · 策略 · 观察者
➔
29
状态机反模式
状态爆炸 · 隐式状态 · 硬编码
➔
30
综合项目
Bootloader升级状态机
➔