这是QP(即Quantum Programming)量子化编程技术最重量级的一本教程，由QP的创始人MIRO SAMEK编写,英文原版名:《MIRO SAMEKPractical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems》 《UML 状态图的实用C/C++设计》，中文资料，国内罕见，希望对有需要的朋友有所帮助
2024-01-23 23:19:52
4.2MB
1
1. 定义
状态迁移图法主要关注在测试状态转移的正确性上面。对于一个有限状态机，通过测试验证其在给定的条件内是否能够产生需要的状态变化，有没有不可达的状态和非法的状态，可能不可能产生非法的状态转移等。通过构造能导致状态迁移的事件，来测试状态之间的转换。
2. 应用的范围
一个功能的状态比较多的情况下,比如mp3，堆栈操作等.
2024-01-17 18:34:14
131KB
1
图书管理员借书操作的状态图
findTitle
（检索图书）
login
（登录）
findBorrower
（查找借阅者）
reserve
（预约）
borrow
（借阅）
findBook
（检索复本）
setLoan
（设借阅状态）
cancel
（取消）
close
（关闭）
登记读者信息
登记借书信息
借书
预约图书
手续完成
检验图书
检查图书状态
取消
检验读者
借书
2023-03-06 00:04:10
8.43MB
1
基于Kripke结构的UML状态图的形式语义和自动证明，赵也非，杨宗源，给UML赋予形式化的动态语义，可以在软件生命过程早期，对系统进行自动推导和证明。把模型检测应用于UML，是在软件架构中引入形式化
2023-02-27 21:34:44
328KB
1
嵌入式系统的事件驱动型编程技术 第二版
关注核心概念
提供一个完整的立即可用的开源软件架构
包括了一个使用ARM Cortex-M3的详尽的实例。
2023-02-22 18:13:25
4.49MB
1
掌握Powerdesigner中状态图和时序图建模的基本工具和操作方法；从实验四所确定的用例图中任意选取2到3个用例进行动态建模，并根据建模成果对类图进行设计完善。要求至少建立2个时序图。
2022-11-19 17:27:22
527KB
1
人们通过面试等成为该企业的员工。由于自己长期在此单位干，最终成为一名老员工。经过自己的努力与拼搏，得到了老板和同事们的认可，被评为优秀的员工，或者由于自己的懒惰等，被老板和同事们称作差员工。由于自己的某些过错，被老板开除。由于员工的年纪等问题，光荣的退休
根据上述描述，画出状态图。
2022-11-11 16:24:20
30KB
1