论文部分内容阅读
在以扩展有限状态机（EFSM）为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列（ESIS）的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树（EAT）的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁区分度因子和节点收敛度因子,计算EAT搜索树节点权重来评价当前搜索方向的正确性.利用EAT搜索树节点权重函数作为节点搜索引擎,根据当前已经搜索节点的权重自适应选择下一步搜索的目标节点,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决.实验数据