哈尔滨工业大学软件构造课程笔记第五章第三节

5.3 面向可维护性的构造技术

1. 基于状态的构建

基于状态的构建
使用有限状态机来定义程序的行为、使用状态来控制程序的执行
根据当前状态，决定下一步要执行什么操作、执行操作之后要转移到什么新的状态
在ADT内部自行管理状态的转换，需要大量的if-else同时在ADT的方法中，也需要根据当前状态做各种判断if-else，采取不同的行为

（1）基于自动机的编程

基于自动机的编程是一种编程范式，其中程序或程序的一部分被认为是有限状态机(FSM)或任何其他形式自动机的模型。
-将程序视为有限自动机。
-每个自动机一次只能执行一个“步骤”，程序的执行被分解成单独的步骤。
-步骤通过改变代表“状态”的变量的值来相互通信。
控制程序的流程是由该变量的值决定的。
应用设计方法应类似于控制系统(自动机系统)的设计。
核心思想：将程序看作是一个有限状态自动机，侧重于对“状态”及“状态转换”的抽象和编程
程序的执行被分解为一组自动执行的步骤
各步骤之间的通讯通过“状态变量”进行
如何实现
程序执行就可看作是各自动步骤的不断循环
使用枚举类型enum或更加复杂的数据类型定义状态
常使用二维数组定义状态转换表
应用领域
▪高可靠性系统
——军事应用
——航空航天工业
——汽车行业
▪嵌入式系统
▪移动系统
▪可视化系统
▪Web应用程序
▪客户机-服务器应用程序

（2）状态模式