《表1 WUL结果及解算时间统计》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于状态转移图的箭载软件时序控制测试用例生成方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

状态转移图的图元主要包括状态起点、状态节点、状态终点和状态转移连线，如图1所示[6-7]。状态起点为软件运行至该状态图上的初始状态节点；状态节点宏观上用于表示软件运行过程中的阶段、时序，微观上表示软件运行过程中的某个操作进程或处理流程，设置其属性包括名称、关联状态、动作列表、内嵌模型列表、描述等5个方面，如表1所示。