《表2 实验所取遗传参数：基于状态图测试的迁移路径生成方法》

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

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

《基于状态图测试的迁移路径生成方法》

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

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

为了验证本文算法生成FTP的有效性，本节将以inres initiator协议和ATM两个系统实例，将本文算法运行结果与文献[7]、文献[9]、文献[11]中方法的结果作比较。两个系统的状态图如图8和图9所示。为了简化，原图中的事件均用en表示，迁移用tn表示，只表示出涉及依赖迁移组（DTG）的守卫条件和行为。inres initiator和ATM是典型的包含DTG的系统。ATM状态图中，t2、t3、t4包含变量attempt的判别条件，t2中包含引起变量attempt值变化的行为，故t2、t3、t4构成了DTG。inres initiator协议状态图中，t3、t8、t10包括变量counter判别的守卫条件和变量counter加1的行为，t4、t9、t11中包括变量counter的判别守卫条件，故t3、t4、t8、t9、t10、t11构成了DTG。实验所取的遗传参数如表2所示。