概念

设计原则

设计流程

  1. 确认变量
  2. 针对变量列出真值表
  3. 说明每个条件下的动作
  4. 合并一些相同处理的情况
  5. 设计表示状态的变量
  6. 代码实现

1、2、3 步骤保证了状态完整且边界清晰,4、5 步骤对状态的情形进行了化简。

例子

Example: Double-click state machine

自定义的“鼠标双击”状态:

  1. 第二次点击,第一次点击,连续点击的次数
  2. 列出真值表
  3. 说明情况
  4. 合并情况