UIO序列

作品数：31被引量：68H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵保华邓培民易忠谢正卫屈玉贵更多>>
相关机构：中国科学技术大学广西师范大学南京邮电大学徐州师范大学更多>>
相关期刊：《计算机工程与应用》《电子学报》《广西科学》《计算机光盘软件与应用》更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于协议状态机遍历的模糊测试优化方法被引量：7
《计算机工程与应用》2020年第4期82-91,共10页张洪泽 洪征 周胜利 冯文博 
国家重点研发计划（No.2017YFB0802900）
针对现有的协议模糊测试技术存在报文重复交互、输入盲目等问题,提出一种基于协议状态迁移遍历的模糊测试优化方法。该方法将协议状态迁移遍历问题转化为中国邮路问题,求解遍历所有协议状态迁移的最短路径,并依据该最短路径对各个状态...
关键词：模糊测试 协议状态机 协议状态迁移 中国邮路问题 UIO序列 
基于UIO序列的类重要性度量被引量：2
《电子学报》2015年第10期2062-2068,共7页姜淑娟 鞠小林 王兴亚 李海洋 张艳梅 刘颖祺 
国家自然科学基金(No.61202006;No.60970032);江苏省333工程;江苏省高校自然科学研究(No.12KJB520014);江苏省研究生创新工程(No.CXZZ12_0935);南通市应用研究计划(No.BK2012023)
程序理解是测试和维护大规模面向对象程序的关键,选择程序的关键类优先开展分析是理解程序结构的一个有效的方法.为支持自动识别软件系统中的关键类,本文提出了一种基于UIO序列的类重要性度量方法.首先将软件系统抽象为一个以类为转换...
关键词：关键类 有限状态机 UIO 序列 程序理解 
基于FSM的WIA-PA协议测试序列自动生成技术研究
《计算机光盘软件与应用》2014年第24期111-112,共2页谢昊飞 苏德龙 肖尚青 郝飞飞 
本文重点介绍基于有限状态机(FSM)测试序列生成方法,并以现场设备安全入网为例,利用该方法生成测试序列。为构建WIA-PA协议测试FSM模型,文中分析了WIA-PA协议测试中的安全入网的设备状态、事件、输出和转移输出,在此基础上建立了现场设...
关键词：WIA-PA协议 FSM模型 形式化模型 UIO序列 
IPv6邻居发现协议的一致性测试序列生成被引量：1
《信号处理》2013年第12期1670-1676,共7页陈守宁 郑宝玉 李璟 赵玉娟 
国家自然科学基金(61071090;61171093);国家科技重大专项(2011ZX03005-004-003);江苏省普通高校研究生科研创新计划(CXLX12_0475)
自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来,IPv6已经历了十多年的发展。现今已有越来越多的IPv6产品被投入到了开发与应用中。而如何提高不同产品间的互通性和可靠性则成为了一个关键问题。进行协议一致性测试是提高...
关键词：IPV6 协议一致性测试 有限状态机(FSM) UIO序列 
一种一致性测试方法在专有通信协议测试中的应用研究
《福建电脑》2012年第9期122-124,共3页张晴 
专有通信协议一致性的实现是保证项目系统通信质量的关键。本文采用有限状态机FSM对通信协议进行建模。并依据产生的UIO序列生成相应的一致性测试序列,并对一个实际项目进行协议的一致性测试,发现使用了一致性测试方法的测试比没有使用...
关键词：通信协议 有限状态机FSM UIO序列 一致性测试序列 
UIO序列生成算法的继续改进
《计算机工程与设计》2011年第11期3722-3724,3839,共4页黎中文 张来顺 
为解决传统的UIO(唯一输入输出)序列方法中使用的UIO搜索树规模过于庞大的问题,分析了UIO树的构造过程,并结合LANG算法提出的一系列的剪枝方法和节点链搜索技术,提出了一种改进的UIO序列算法,使用转换表格连接方法替代传统的构造UIO树...
关键词：有限自动机 唯一输入输出序列 表格连接 标记状态 节点链搜索技术 
一种新的基于FSM的UIO序列生成算法
《内蒙古大学学报（自然科学版）》2011年第5期596-600,共5页高珊 李华 郭亚杰 
内蒙古大学本科生创新培养基金项目资助
在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径,实验结果表明能够正确生成FSM图中各个状态的最...
关键词：有限状态机(FSM) UIO序列 生成算法 
协议一致性测试生成的路径叠加方法被引量：1
《计算机系统应用》2011年第7期47-52,共6页汪志宾 周颢 赵保华 
国家自然科学基金(60872009);国家高技术研究发展计划(863)(2009AA01Z148);安徽高校省级自然科学研究计划(ZD2008005-2;ZD200904;JK2009A013;JK2009A025)
基于UIO序列提出了一种新的协议一致性测试生成方法——路径叠加方法。其核心思想是寻找有限状态机中无重复转换的路径作为路径叠加转换序列,在其后连接该序列尾状态的UIO序列,从而验证该序列中所有转换。理论与实验结果表明,由路径叠...
关键词：UIO序列 路径叠加转换序列 协议一致性测试 有限状态机 
基于UIO序列的状态机测试序列生成算法被引量：2
《昆明理工大学学报（理工版）》2009年第5期46-49,共4页王小银 
西安市科技创新基金项目(项目编号:YF07024)
在通信协议的一致性测试中,寻找一条简洁高效的测试序列是关键工作之一.基于FSM模型的协议一致性测试,提出一种新的UIO序列生成方法,利用遗传算法求解UIO序列.研究结果表明,该算法能生成更短且结果稳定的UIO序列.
关键词：测试序列 有限状态机 唯一输入输出序列 遗传算法 
一种新的通信协议最短UIO序列生成算法被引量：1
《军事通信技术》2009年第2期62-66,共5页赖祥 蒋嵘 黄松 欧有远 
有限状态机大量应用于通信协议建模中,基于有限状态机的通信协议一致性测试包含着重要的一方面就是测试序列的生成,而有限状态机的特征序列是测试序列生成的基础。作为应用最为广泛的特征序列之一的U IO序列(U n ique Inpu t/O u tpu t ...
关键词：最短输入输出序列 有限状态机 一致性测试 通信协议 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部