EFSM可执行状态验证序列的生成

舒挺; 魏仰苏; 吴柏青; 孟兆航

首页> 中文期刊> 《北京邮电大学学报》 >EFSM可执行状态验证序列的生成

EFSM可执行状态验证序列的生成

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性.实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的.

著录项

来源
《北京邮电大学学报》 |2007年第2期|84-88|共5页
作者
舒挺; 魏仰苏; 吴柏青; 孟兆航;
展开▼
作者单位

浙江理工大学信息电子学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
协议一致性测试; 扩展有限状态机; 状态验证; 唯一输入输出序列;

相似文献

中文文献
外文文献
专利

1. 自适应EFSM可执行测试序列生成 [J] . 舒挺 ,刘良桂 ,徐伟强 . 计算机研究与发展 . 2012,第006期
2. 基于遗传算法的面向多样性EFSM测试序列生成方法 [J] . 宋雨琪 ,尚颖 ,赵瑞莲 . 东南大学学报（自然科学版） . 2017,第0z1期
3. 一种基于EFSM的一致性测试序列生成方法 [J] . 邸剑 ,王晓月 ,李丽芬 . 电子制作 . 2013,第021期
4. 基于分支界限搜索的EFSM协议测试序列生成算法 [J] . 尤娟 ,李俊全 ,夏松 . 计算机应用研究 . 2013,第005期
5. 一种改进的基于EFSM变迁依赖图的协议测试序列生成算法 [J] . 陈昱松 ,聂剑平 ,景博 . 计算机研究与发展 . 2010,第S1期
6. 一种改进的基于EFSM变迁依赖图的协议测试序列生成算法 [C] . 陈昱松 ,聂剑平 ,景博 . 第六届中国测试学术会议 . 2010
7. EFSM模型可执行测试序列生成方法研究 [A] . 杨光辉 . 2015

EFSM可执行状态验证序列的生成

摘要

著录项

相似文献

相关主题

期刊订阅