UIO序列相关论文
CTCS-3级列车运行控制系统是中国铁路列车控制系统(Chinese Train ControlSystem,CTCS)的重要组成部分之一,采用无线通信系统(GSM-......
自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论.随着科学技术的发展,自动机理论有了深入的发展和广泛的应用,......
基于UIO序列提出了一种新的协议一致性测试生成方法——路径叠加方法。其核心思想是寻找有限状态机中无重复转换的路径作为路径叠......
在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该......
主要对积运算后有限自动机的初（末）态试验序列、UIO序列和同步序列进行了讨论，给出了积运算后的有限自动机与积运算前有限自动机的初（......
专有通信协议一致性的实现是保证项目系统通信质量的关键。本文采用有限状态机FSM对通信协议进行建模。并依据产生的UIO序列生成相......
自1998年互联网工程任务组（IETF）提出下一代互联网标准规范以来,IPv6已经历了十多年的发展.现今已有越来越多的IPv6产品被投入到了开......
UIO序列是对有限状态机进行功能测试的有效手段，在VLSI、通信协议等时序系统中有很强的实际应用背景，本文基于可区分状态组这一概念......
文章应用形式化方法对INAP协议进行测试.基于INAP协议描述的I/O FSM模型,应用UIO方法生成一致性测试序列,然后应用中国乡村邮递员......
对有限自动机Md、Mnd及M×Ma、M∧Mnd的初（末）态试验序列、UIO序列和同步序列进行了讨论，给出了它们之间的关系及最短的试验序列......
UIO序列是对有限状态机进行功能测试的有效手段,在VLSI设计、通信协议等时序系统中有很强的实际应用背景.文章基于可区分状态组这......
基于贪心算法提出了寻找FSM(finite state machine)各个状态的UIO(uniqueinput output)序列的伪多项式时间算法,可以快速地找出FSM......
本文重点介绍基于有限状态机（FSM）测试序列生成方法,并以现场设备安全入网为例,利用该方法生成测试序列。为构建WIA-PA协议测试FSM模......
协议一致性测试中,测试序列一般只能做到半自动生成,其全自动生成问题一直没有得到完全解决.针对此,提出一种改进的基于UIO序列（Uni......
该文讨论了一种协议测试序列生成的方法，它使用有限状态机模型作为协议的形式化描述规范．然后基于UIO序列和中国乡村邮路算法生成测......
对线性有限自动机的UIO序列进行了讨论，得到了线性有限自动机的任意一状态有某一长度的UIO序列的充要条件．得到了线性有限自动机的（所......
在通信协议的一致性测试领域里，如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题，在介绍了通......
文中采用新的方法对通讯协议的一致性产生相应的测试序列，对ＵＩＯＶ（ＩｍｐｒｏｖｅｄＵｎｉｑｕｅＩｎｐｕｔ／Ｏｕｔｐｕｔ）方法进行改进：当某状态先ＵＩＯ序列时，采用并行表示技术或收敛边标识与其它状态......
随着计算机网络的快速发展,网络协议日趋复杂和多样。通常网络协议的规范都是通过自然语言描述的,但由于自然语言的二义性,协议的......
测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通......
信任链是可信计算平台的核心和基础,保证信任链实现正确以及与规范一致是非常必要的。本文在分析可信计算平台信任链规范的基础上,......
针对现有的协议模糊测试技术测试时存在报文重复交互、输入盲目等问题,本文提出一种基于协议状态迁移遍历的模糊测试优化方法。方......
基于UIO序列的测试方法已经广泛地应用在协议一致性测试和软件一致性测试方面，如何有效地生成更短的UIO序列一直为人们所关注。提出......
