ESIS序列自适应生成算法

• 作者: 孙守迁 徐伟强 王海宁 舒挺
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 协议一致性测试 扩展有限状态机 状态验证 唯一输入/输出序列
• 年，卷（期）: 2010,（11）
• 页码范围: 2183-2187,2213
• 页数: 6页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2010.11.025

摘要

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