ESIS序列自适应生成算法

发布时间：2018-10-05 21:02

【摘要】：在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列(ESIS)的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树(EAT)的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁区分度因子和节点收敛度因子,计算EAT搜索树节点权重来评价当前搜索方向的正确性.利用EAT搜索树节点权重函数作为节点搜索引擎,根据当前已经搜索节点的权重自适应选择下一步搜索的目标节点,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决.实验数据表明,与宽度优先可执行性分析方法相比,自适应算法具有更小的状态格局搜索空间.
[Abstract]:In a protocol conformance testing system based on extended finite state machine (EFSM) model, in order to improve the computational efficiency of executable state verification sequence (ESIS), an adaptive ESIS sequence generation algorithm is proposed. The new algorithm uses executable analysis method based on executable analysis tree (EAT) to ensure the executable of generated ESIS sequences. By introducing the transition differentiation factor and the node convergence factor, the EAT search tree node weights are calculated to evaluate the correctness of the current search direction. The weight function of EAT search tree node is used as the node search engine. According to the weight of the search node, the target node is selected according to the weight of the search node. The problem of automatic generation of ESIS sequences is transformed into the problem of EAT nodes with the largest adaptive search weight. Experimental data show that the adaptive algorithm has a smaller state pattern search space than the width first executable analysis method.
【作者单位】： 浙江大学计算机科学与技术学院;浙江理工大学信息电子学院;
【基金】：国家自然科学基金资助项目(60702081) 浙江省科技厅重大专项资助项目(2006c11235)
【分类号】：TN915.06

【参考文献】

相关期刊论文 前1条

1 舒挺;魏仰苏;吴柏青;孟兆航;;EFSM可执行状态验证序列的生成[J];北京邮电大学学报;2007年02期

【共引文献】

相关期刊论文 前6条

1 舒挺;孙守迁;王海宁;徐伟强;李文书;;启发式探索的协议测试序列生成[J];北京邮电大学学报;2009年06期

2 徐俊;舒挺;贾宇波;宋瑾钰;;EFSM模型动态解释技术的研究[J];工业控制计算机;2012年02期

3 舒挺;刘良桂;徐伟强;李文书;;自适应EFSM可执行测试序列生成[J];计算机研究与发展;2012年06期

4 任君;赵瑞莲;李征;;基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成[J];计算机应用;2011年09期

5 李永亮;李蕊;李仁发;张焱;;基于EFSM用户自定义故障模型的测试集生成[J];计算机应用研究;2009年09期

6 刘辉;李蕊;李浪;汪新文;;面向软件设计阶段的故障检测研究:模型、算法和例证[J];科学技术与工程;2011年29期

相关博士学位论文 前1条

1 舒挺;EFSM模型协议一致性测试序列自动生成研究[D];浙江大学;2010年

相关硕士学位论文 前3条

1 滕竹;基于EFSM的CBTC通信协议一致性测试的研究[D];北京交通大学;2008年

2 李永亮;基于EFSM模型的软件故障检测与一致性测试生成研究[D];湖南大学;2009年

3 何立春;面向接口协议验证的激励生成技术的研究[D];哈尔滨工程大学;2012年

【相似文献】

相关期刊论文 前10条

1 舒挺;魏仰苏;吴柏青;孟兆航;;EFSM可执行状态验证序列的生成[J];北京邮电大学学报;2007年02期

2 倪群,苏彤,程时端;用于协议一致性测试序列生成的状态规范化算法[J];通信学报;1997年02期

3 陈涛;潘雪增;陈健;陈小平;陆魁军;;基于FSM的协议一致性测试序列生成算法研究[J];计算机工程与应用;2010年06期

4 李建,周颢,赵保华;路由协议一致性测试系统研究及实现[J];计算机工程与应用;2005年16期

5 柳祖秋;网络协议一致性测试及其在FDDI—MAC中的应用[J];电信科学;1992年05期

6 韩博,姬雷生,尹霞;基于形式化技术的帧中继信令协议一致性测试研究[J];小型微型计算机系统;2002年12期

7 都军，刘积仁;一种高效的网络协议一致性测试生成方法[J];计算机学报;1994年11期

8 夏启志;綦科;谢高岗;;BGP4+协议一致性测试系统设计与实现[J];计算机工程;2006年03期

9 田野;刘兴伟;郭闯;;协议一致性测试系统中执行器的设计与实现[J];西华大学学报(自然科学版);2006年06期

10 丁雪莲;陈银凤;王彪;;移动IPv6协议一致性测试研究[J];内蒙古农业大学学报(自然科学版);2009年02期

相关会议论文 前10条

1 赵会群;赵洁;王恩雷;;基于TTCN-3的SIP协议一致性测试方法研究[A];第五届中国测试学术会议论文集[C];2008年

2 杨焱;高菲;;TTCN测试技术在GSM-R协议一致性测试中的应用研究[A];GSM-R移动通信及无线电管理学术会议论文集[C];2006年

3 韩颖;高翔;王国仁;于戈;郑怀远;;OQL预处理器代码生成算法的设计[A];第十六届全国数据库学术会议论文集[C];1999年

4 马春光;武朋;杨义先;顾国昌;;无状态可传递签名[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年

5 耿则勋;;影像匹配中核线影像的快速生成算法[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展（上册）[C];2001年

6 黎中文;张来顺;肖健鹏;;改进的UIO序列生成算法[A];计算机研究新进展（2010）——河南省计算机学会2010年学术年会论文集[C];2010年

7 李秀华;桑楠;雷航;吴晓华;;EFSM模型的实时测试序列生成方法[A];第四届中国测试学术会议论文集[C];2006年

8 李占伟;杨俊强;;IPv6协议一致性测试技术[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（上）[C];2006年

9 王娅;许凯华;刘玉华;;WSN中一种基于能量的层次型拓扑生成算法[A];2006全国复杂网络学术会议论文集[C];2006年

10 张新鹏;王朔中;;嵌入位置自适应的信息隐藏方案[A];第十二届全国图象图形学学术会议论文集[C];2005年

相关重要报纸文章 前10条

1 纳川;将流媒体放上“检测线”[N];计算机世界;2007年

2 王世良 孙靖;加快TD－SCDMA终端产业化进程[N];人民邮电;2006年

3 李博;谁是FTTH的测试伴侣[N];通信产业报;2008年

4 实习记者 李博;TD终端期待标准测试环境[N];通信产业报;2007年

5 王辉;思辨成熟应用[N];通信产业报;2006年

6 吴绵;让未来通信更加精彩[N];中国质量报;2008年

7 本报记者 秦钢;耕耘在网络和通信的身后[N];计算机世界;2005年

8 伊佳;IPv6自乱阵脚？[N];通信产业报;2006年

9 孟祥初;TD-LTE增速国际融合[N];通信产业报;2008年

10 中科院自动化所RFID研究中心 刘禹邋谭杰 赵健;RFID系统测试探秘[N];计算机世界;2007年

相关博士学位论文 前10条

1 舒挺;EFSM模型协议一致性测试序列自动生成研究[D];浙江大学;2010年

2 钱兰;协议一致性测试的错误诊断研究[D];中国科学技术大学;2006年

3 邓琦皓;分布式主动协同入侵检测系统研究与实践[D];中国人民解放军信息工程大学;2005年

4 许宁云;汉语篇章零回指的解析与生成：一项基于语料的向心研究[D];复旦大学;2006年

5 缪力;依赖性分析及其在软件测试中的应用[D];湖南大学;2006年

6 吴作顺;基于免疫学的入侵检测系统研究[D];中国人民解放军国防科学技术大学;2003年

7 郑永斌;物体检测技术和半定规划松弛的聚类算法研究[D];国防科学技术大学;2011年

8 李重;常用自由曲线中的一些问题研究[D];浙江大学;2003年

9 杨国强;因特网拓扑特征的系统化分析技术研究[D];国防科学技术大学;2010年

10 陈(日午);关于真实感服装生成算法的研究[D];西北工业大学;2000年

相关硕士学位论文 前10条

1 滕竹;基于EFSM的CBTC通信协议一致性测试的研究[D];北京交通大学;2008年

2 尹建平;基于通信的列车控制系统的协议一致性测试研究[D];西安科技大学;2011年

3 亓泽超;协议一致性测试序列生成及错误诊断算法设计[D];西安电子科技大学;2011年

4 汪志宾;模型驱动的协议一致性测试系统的研究与实现[D];中国科学技术大学;2011年

5 林洪;IPv6协议一致性测试的研究与实现[D];国防科学技术大学;2011年

6 张玉宝;基于FSM的IPv6邻居发现协议一致性测试研究[D];西安电子科技大学;2008年

7 徐辉;基于LLDP的协议一致性测试系统设计与实现[D];重庆大学;2012年

8 思仲华;WLAN快速切换协议一致性测试系统的研究与实现[D];西安电子科技大学;2010年

9 吴涛;TD-LTE终端协议一致性测试规范研究及测试集开发[D];北京邮电大学;2010年

10 李昱璇;TD-LTE终端协议一致性测试设计与开发[D];北京邮电大学;2011年

，

本文编号：2254857