当前位置：网站首页>【Rhapsody学习笔记】3：Dishwasher

【Rhapsody学习笔记】3：Dishwasher

2022-07-31 05:17:00 【G_Summer_Song】

Exercise 3 ：Dishwasher

1 新建项目Dishwasher

2 添加类“Dishwasher”

3 添加以下属性（Attributes）

类型为int型，初始值为0。
在这里插入图片描述

4 添加操作

在这里插入图片描述
各操作实现如下：

5 添加类型

浏览器选择包Default，右键选择“新增”–“类型”。
在这里插入图片描述
名称设置为“MAX_CYCLES”，种类设置为“Language”，添加描述：const int %s = 3;。

6 创建组件

按照前面的例程（【Rhapsody学习笔记】1：Hello World）重命名组件 DefaultComponent 为 Test，配置 Defaultconfig 为 Debug。Debug 配置为动画。
在这里插入图片描述

7 创建状态图

详细步骤可参考【Rhapsody学习笔记】2：Count Down

8 创建并发状态

用“与线”功能创建并发状态。
在这里插入图片描述

9 显示状态名称

在状态图某状态框空白位置右键选择“显示选项”，选择名称。
在这里插入图片描述

10 重命名状态名

双击状态名可进行重命名。
在这里插入图片描述

11 添加状态

添加以下状态。
在这里插入图片描述

12 添加历史记录连接符与图连接符

在这里插入图片描述

13 添加缺省转换

在这里插入图片描述

14 添加转换

在这里插入图片描述
图中[isDryed()]应为[isDried()]。

15 入口操作

对normal状态添加入口操作
在这里插入图片描述

16 保存、编译执行

保存文件，编译执行。
点击“转为闲置”，创建一个实例。
在这里插入图片描述

如果未出现Dishwasher实例，可能是因为配置中没有选择一个初始的instance。

17 打开实例状态图

应该有三个高亮状态
在这里插入图片描述

18 插入事件

此时Dishwasher处于闲置状态。
生成事件evStart。方法：右击实例状态图任意位置，点击生成事件。
此时evStart出现在事件队列中。
在这里插入图片描述

19 创建测试脚本

在组件Test中新增一个文件TestScript.cfg。
设置路径为..\..
设置类型为“其他”
添加文本元素
输入以下内容：

// Script to test the Dishwasher
output TestScript.log
trace #all all
timestamp
// First get the Dishwasher to a known state
go idle
Dishwasher->GEN(evService)
Dishwasher->GEN(evMode)
break Dishwasher stateEntered off
break Dishwasher stateEntered faulty
Dishwasher->GEN(evStart)
go
Dishwasher->GEN(evStart)
go
Dishwasher->GEN(evStart)
go
Dishwasher->GEN(evStart)
go
//should now be in faulty
go 
//remove breakpoints
break Dishwasher -stateEntered off
break Dishwasher -stateEntered faulty