模拟学习测试状态机工程链接:
https://github.com/Paulliam/visualSTATE_learningTest
visualSTATE软件ver9.1,破解软件,学习手册StepByStep_vS,Visualstate状态机建模学习手册,基于状态机的嵌入式系统开发全部221页,用户指南UserGuide链接:
链接:https://pan.baidu.com/s/1RDtwSeNBCRg6wVBC7750Jw
提取码:s20o
- 学习使用validator验证器进行仿真:记录和播放测试/事件序列,浅历史伪状态(不记住嵌套子状态上一次退出顶层状态时停留的状态),深历史伪状态(要记住),学习使用验证器进行静态/动态分析,信号队列手动/自动清空信号队列,设置断点。
- visualSTATE转换架构和转换元素包括:1)激励Trigger(包括事件Event,事件组Event Group,信号Signal(三者中,只有信号属于内部激励)); 2)控制表达式Guard Expression;3)状态条件State Condition;4)动作函数Action Function;5)赋值Assignment;6)状态动作State Action;
- 事件组,状态机同步,并发结构演示应用学习。
- 学习状态机事件、动作、状态,转换,伪状态(初始伪状态,浅历史伪状态,深历史伪状态)等概念。
- 信号会触发转换,就像事件一样。但是,与在外部可视状态环境中发生的事件相反,在IAR可视状态中在内部发送信号。
信号优先于事件,只能在内部发送。无法从外部环境向Visual State系统发送信号。 - 定义好的元素,移动到不同的顶层状态机或者系统目录:在“命令”区域中选择元素,然后将其从此处拖动到“项目 ”窗格中的项目。 声明元素到不同的顶层状态机或者系统目录:在“命令”区域中选择元素,按住Ctrl键,然后将其从此处拖动到“项目 ”窗格中的项目。