嵌入式系统开发中的软件工程

1、 IAR Seminar, Beijing/Shanghai/Shenzhen, Oct, 2006 VisualSTATE的规则 嵌入式开发中的软件工程IAR Seminar, Beijing/Shanghai/Shenzhen, Oct, 2006“V isualSTATE设计6步法”1.识别事件和行为2.识别状态门是开着或者关着门可以被锁上或者未被锁上开关可以在三个位置中任一位置灯可以是亮着或暗着嵌入式开发中的软件工程IAR Seminar, Beijing/Shanghai/Shenzhen, Oct, 2006嵌入式开发中的软件工程检查哪个状态具有自己的动态行为,哪个状态只有在一定条

2、件下被激活这个分组模型表示:当门被锁时,门既不处于开的状态也不处于关的状态这个模型封装了开门的选择下才有可能当切换手动开关位置以及亮灯的状态时:门处于开、关或者被锁上这三种状态可能同时存在注意:由于设计上的原因增加了一个新的嵌套在每个“切换位置”只有一个转移。嵌入式开发中的软件工程IAR Seminar, Beijing/Shanghai/Shenzhen, Oct, 2006当门处于“门模式”且被打开时,灯必须打开嵌入式开发中的软件工程IAR Seminar, Beijing/Shanghai/Shenzhen, Oct, 2006VisualSTATE是什么? 图形化编程设计 原型设计 E

3、vent1 Event3 Event7 Event4 . Event6( / 手工测试 Event1( / A Event3( / Event4( / B Event2( / D Event1( / A Event3( / Event4( / C D Event5( / B Event2( / Event6( / C Event5( / 自动规范性测试 和脚本测试 Error if Event1 AND state1 AND state2 代码自动生成 Event1( / A Event3( / Event4( / C D Event5( / B Event2( / Event6( / 文挡生

4、成 This TV set has been developed for a Motorola platform. if (SEM.CSV 4 = 0x05 SEM.WSV 3 = 0x0F; . Event1( / A Event3( / Event6( / Event4( / C D Event5( / B Event2( / 嵌入式开发中的软件工程 IAR Seminar, Beijing/Shanghai/Shenzhen, Oct, 2006 IAR VisualSTATE 模型说明/设计 模型 测试 模型 分析 模型 报告 模型实现 嵌入式开发中的软件工程 IAR Seminar,

5、 Beijing/Shanghai/Shenzhen, Oct, 2006 课程设计：嵌入式系统开发中的软件工程 理 论 理 论 理 论 理 论 实 践 实 践 实 践 实 践 实 验 实 验 嵌入式系统的软件工程 状态机理论 UML状态机 基于状态机的系统设计方法 基于状态机的系统分析 基于状态机的系统实现 基于状态机的系统测试与验证 跨平台的应用移植 车灯控制系统设计 车灯控制系统移植 3 课时 2 课时 3 课时 4 课时 3 课时 4 课时 3 课时 6 课时 6 课时 2 课时 总计：36课时 总计：36课时 嵌入式开发中的软件工程 IAR Seminar, Beijing/Shanghai/Shenzhen, Oct, 2006 Demo