Statecharts
一种用于建模复杂系统行为的形式化方法，由 David Harel 于 1987 年提出。在有限状态机（FSM）基础上扩展了层级状态、正交区域、历史状态、守卫条件与动作等机制，能有效避免扁平 FSM 建模时的状态爆炸问题
时间轴 (近 90 天)
层级状态和正交区域可以将公共行为的定义次数从乘积级降低到求和级，是状态图相对于 FSM 的核心工程价值。
Statecharts（状态图）由 David Harel 在 1987 年提出，其核心扩展包括层级状态、正交区域、历史状态以及守卫条件与动作。
F-91W 的模式切换适合用层级状态来抽象，顶层为时间模式、闹钟模式、秒表模式和整点报时设置，Mode 键负责顶层迁移，Adjust 键负责进入和穿行编辑子状态，Light 键是全局的瞬时动作。
在 Hacker News 上有一个讨论项目，尝试用状态图（Statecharts）来建模卡西欧 F-91W 的行为逻辑。
使用状态图后，可以针对每条迁移写单元测试，断言给定当前状态和事件时的下一状态和输出，状态覆盖率可以直接度量。
状态图可通过工具导出为测试脚本或可视化图示，使测试用例与设计文档共享同一份事实来源。
分层状态机（HSM）是对FSM的扩展，源自David Harel于1987年提出的Statecharts理论，后来成为UML状态图的理论基础，允许一个状态内部嵌套子状态机。
全部知识事实 (7)
层级状态和正交区域可以将公共行为的定义次数从乘积级降低到求和级，是状态图相对于 FSM 的核心工程价值。
50%待验证Statecharts（状态图）由 David Harel 在 1987 年提出，其核心扩展包括层级状态、正交区域、历史状态以及守卫条件与动作。
50%待验证F-91W 的模式切换适合用层级状态来抽象，顶层为时间模式、闹钟模式、秒表模式和整点报时设置，Mode 键负责顶层迁移，Adjust 键负责进入和穿行编辑子状态，Light 键是全局的瞬时动作。
50%待验证使用状态图后，可以针对每条迁移写单元测试，断言给定当前状态和事件时的下一状态和输出，状态覆盖率可以直接度量。
50%待验证状态图可通过工具导出为测试脚本或可视化图示，使测试用例与设计文档共享同一份事实来源。
50%待验证分层状态机（HSM）是对FSM的扩展，源自David Harel于1987年提出的Statecharts理论，后来成为UML状态图的理论基础，允许一个状态内部嵌套子状态机。
50%待验证在 Hacker News 上有一个讨论项目，尝试用状态图（Statecharts）来建模卡西欧 F-91W 的行为逻辑。
50%