期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到6篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于FSM的协议一致性测试序列生成算法研究 被引量：10
1
作者 陈涛 潘雪增 +2 位作者 陈健 陈小平 陆魁军 《计算机工程与应用》 CSCD 北大核心 2010年第6期60-62,共3页
在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的... 在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。 展开更多
关键词 协议一致性测试 有限状态机 UIO序列
下载PDF
UIO序列优化搜索算法的研究 被引量：4
2
作者 孙海平 高明伦 《电子学报》 EI CAS CSCD 北大核心 2002年第5期667-671,共5页
UIO序列是对有限状态机进行功能测试的有效手段 ,在VLSI、通信协议等时序系统中有很强的实际应用背景 .本文基于可区分状态组这一概念设计了一个搜索算法 ,进一步利用搜索信息建立了一个基于“小于”关系的启发策略 ,有效的剪枝策略的... UIO序列是对有限状态机进行功能测试的有效手段 ,在VLSI、通信协议等时序系统中有很强的实际应用背景 .本文基于可区分状态组这一概念设计了一个搜索算法 ,进一步利用搜索信息建立了一个基于“小于”关系的启发策略 ,有效的剪枝策略的设计将尽可能消除没有意义的搜索分枝 ,新设计出的多路OPEN/CLOSED表存储机制也加快了相关的判别、处理过程 .根据实验结果 ,分析了优化措施对于改进了搜索过程、减少搜索信息的产生、提高搜索速度有显著的贡献 .该算法与以往的算法相比 。 展开更多
关键词 搜索算法 有限状态机 UIO序列 启发式搜索
下载PDF
基于FSM的测试序列生成方法研究 被引量：3
3
作者 黎中文 张来顺 何焱 《计算机应用研究》 CSCD 北大核心 2011年第9期3368-3371,共4页
为了降低UIO序列方法的测试序列长度,通过研究现有的测试序列生成方法,将可逆序列引入到测试序列的生成算法中,将其作为所有转移和状态的连接序列,并利用中国农村邮递员问题的解法构造一条最短遍历路径,使得各个状态的UIO序列之间的重... 为了降低UIO序列方法的测试序列长度,通过研究现有的测试序列生成方法,将可逆序列引入到测试序列的生成算法中,将其作为所有转移和状态的连接序列,并利用中国农村邮递员问题的解法构造一条最短遍历路径,使得各个状态的UIO序列之间的重复部分达到最大,测试序列的整体长度被缩短。对测试序列的实验结果表明,算法能够有效降低测试序列的长度。 展开更多
关键词 唯一输入/输出序列 测试序列 有限自动机 可逆序列
下载PDF
UIO序列的启发式算法 被引量：1
4
作者 孙海平 张溯 高明伦 《合肥工业大学学报（自然科学版）》 CAS CSCD 2001年第4期486-492,共7页
UIO序列是对有限状态机进行功能测试的有效手段 ,在 VLSI设计、通信协议等时序系统中有很强的实际应用背景。文章基于可区分状态组这一概念设计了一个搜索算法 ,进一步利用搜索信息建立了一个基于“小于”关系的启发策略 ,有效的剪枝策... UIO序列是对有限状态机进行功能测试的有效手段 ,在 VLSI设计、通信协议等时序系统中有很强的实际应用背景。文章基于可区分状态组这一概念设计了一个搜索算法 ,进一步利用搜索信息建立了一个基于“小于”关系的启发策略 ,有效的剪枝策略的设计将尽可能消除没有意义的搜索分枝 ,新设计出的多路 OPEN/CLOSED表存储机制也加快了相关的判别和处理过程。这些措施改进了搜索过程 ,减少了搜索信息的产生 ,提高了搜索速度。该算法与以往的算法相比 ,在时间和空间两方面都得到了很大改进。 展开更多
关键词 有限状态机 UIO序列 启发式搜索算法 优化策略 功能测试 搜索速率 剪枝策略
下载PDF
EFSM可执行状态验证序列的生成 被引量：8
5
作者 舒挺 魏仰苏 +1 位作者 吴柏青 孟兆航 《北京邮电大学学报》 EI CAS CSCD 北大核心 2007年第2期84-88,共5页
在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状... 在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性.实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的. 展开更多
关键词 协议一致性测试 扩展有限状态机 状态验证 唯一输入输出序列
下载PDF
ESIS序列自适应生成算法
6
作者 舒挺 孙守迁 +1 位作者 王海宁 徐伟强 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2010年第11期2183-2187,2213,共6页
在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列(ESIS)的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树(EAT)的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁... 在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列(ESIS)的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树(EAT)的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁区分度因子和节点收敛度因子,计算EAT搜索树节点权重来评价当前搜索方向的正确性.利用EAT搜索树节点权重函数作为节点搜索引擎,根据当前已经搜索节点的权重自适应选择下一步搜索的目标节点,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决.实验数据表明,与宽度优先可执行性分析方法相比,自适应算法具有更小的状态格局搜索空间. 展开更多
关键词 协议一致性测试 扩展有限状态机 状态验证 唯一输入/输出序列
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部