《表1 实验模型及相关参数》

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

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

《基于无关变量分离的EFSM测试数据进化生成》

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

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

为了从EFSM模型中选取实验路径，实验首先挑选出一些执行逻辑较为复杂的可行路径作为候选路径[8]，然后对候选路径进行预处理，将不同迁移输入变量表中相同名称的变量采用不同的符号表示[11]，最后使用2.2节中自动判定无关变量的实现方法，从候选路径中筛选出包含有无关变量的路径，即最终的实验路径，筛选后的实验路径数目及无关变量判定算法所花费的时间如表1所示。