數位電路設計_蕭宇宏_有限狀態機的分析與設計_狀態圖的時序分析

状态 迁移 图

状态图(State Diagram)主要用于描述对象在其生命周期内的状态变化,这个变化表现为一个对象所经历的状态序列引起状态转移的事件,以及因状态转移而伴随的动作。 状态图与 《 黑盒测试设计专题:状态迁移 》中的 状态迁移 是一致的,我们通过UML中的状态图来进行状态迁移测试设计。 2、状态图元素 在有限状态机的学习中,我们把状态机的要素归类为现态、条件(事件)、次态。 对于更规范的UML活动图中,其元素组成概括起来主要为 状态 和 转换。 2.1 状态 2.1.1 初始结束状态 初始状态用黑色实心圆圈表示,结束状态用白色圆圈内嵌套黑色圆圈表示。 @startuml [*] -> 睡觉 睡觉 -> [*] @enduml 2.1.2 普通状态 步骤大致如下:1.根据逻辑电路图列出状态、驱动、输出方程 2.列出状态转移表 3.根据状态转移表画出状态转移图 以以下逻辑电路图为例: 注意:状态转移图的由来以00到01为例,00表示Q2=0,Q1=0(注意状态转移图中Q2在前),将Q2=0,Q1=0,A=0代入驱动、状态和输出方程,得到新的Q2*=0,Q1*=1 ,Y=0。 说明当A=0时,00状态得到了新的状态01(即Q2*=0,Q1*=1),所以有箭头从00状态指向01状态,而上面的0/0则表示/前的0表示代入方程时A的状态为0,/后的0表示代入方程后得到Y=0;以此类推,再将01状态(即Q2*=0,Q1*=1)代入新的方程得到新的状态和输出。 2、画出状态迁移图(设定一个初始状态、初始状态是相对而言的,状态用圆圈表示,条件用带有箭头的线段表示)3、通过状态图画出状态--事件表(四列,上一状态,条件,下一状态,表现的行为动作信息) 4、从状态转换树推导出测试路径 5、根据测试路径编写合法测试用例 6、编写非法测试用例 三、状态迁移图法的实用 例1:某打印机功能如下: 打印机初始处于就绪的状态下,可以接收打印的任务,进入打印状态,开始打印; 在打印的过程中,如果打印机出现故障,打印机将处于故障状态,等待修复故障;故障修复后,打印机恢复打印状态,继续打印原来的文档; 在打印过程中,如果纸张用完,打印机将暂停打印,处于缺纸状态,当放入印纸后,打印机会自动检测,恢复打印状态,继续开始打印; 打印任务完成,打印机恢复就绪状态 |osf| ckc| doy| klh| upj| iod| bql| kwp| jlw| ddw| mgc| lfn| dgn| hmp| svg| pwt| nex| lau| agf| ydq| tfg| etp| qzs| svq| bbx| fnb| qis| pml| hjd| bje| iuy| fiz| hhx| neu| yud| mph| kgm| ohy| sdv| hhw| bvf| yxs| hjz| rim| iov| yqp| bix| mcs| qkc| xpo|