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

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

ESIS序列自适应生成算法

在以扩展有限状态机 (EFSM)为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列 (ESIS)的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树 (EAT)的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁区分度因子和节点收敛度因子,计算EAT搜索树节点权重来评价当前搜索方向的正确性.利用EAT搜索树节点权重函数作为节点搜索引擎,根据当前已经搜索节点的权重自适应选择下一步搜索的目标节点,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决.实验数据表明,与宽度优先可执行性分析方法相比,自适应算法具有更小的状态格局搜索空间.     

启发式学习自动化程序指令的可达性测试

为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例。该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例。为了提高自动求解的性能,在前向检测算法基础上改进设计了R_BinSearchFC算法,算法结合了边界测试数据选取和二叉树搜索技术,可有效提高对数据空间的搜索速度,并可扩展到在实数域空间的求解搜索。实验结果表明,采用了启发式学习的R_BinSearch算法可自动生成有效的测试用例,完成对指令的可达性测试。     

基于MSC测试目的的协议互操作性测试生成

提出了一种基于MSC(消息序列图)测试目的的互操作性测试生成方法.采用通信多端口有限状态机作为被测系统的描述模型,MSC作为互操作性测试目的的描述模型,使用全局状态跟踪和逆向查找等技术从系统规范中生成包含该测试目的的测试序列.该方法由于只需遍历系统的部分状态空间,因此在一定程度上减少了发生状态爆炸问题的可能.在移动IPv6协议系统中的应用表明,该方法具备一定的可行性.     

铁道信号双机热备结构计算机测试方法研究

为使测试案例能覆盖所有的功能需求,本文对双机热备结构计算机测试序列的生成方法进行研究。考虑热备管理单元功能和应用处理机"主"和"备"的转换关系,采用CPN作为形式化语言,以铁道信号安全计算机的形式化测试为背景,建立了有色Petri网(colored petri nets,CPN)模型,得到状态空间可达图,生成了XML文件,验证了模型的正确性,并通过基于属性的算法对状态空间进行搜索,得到属性子路径及完全路径,实现了基于属性的状态空间路径搜索算法自动生成测试序列。该算法很好地避免了状态空间爆炸问题,提升了测试的针对性,为铁道信号安全计算机平台测试提供了有力的支持,具有一定的实用价值。     

针对协议组合问题的Athena方法扩展

针对安全协议形式化分析领域的五个公开问题之一的协议的组合性问题,选用并扩展了Athena分析方法,以求对组合协议进行自动分析.通过扩展了串、丛的概念以及逻辑和状态表示法,以描述多个协议的运行.考虑到从协议对主协议的影响,引入了串空间中理想的概念,给出了其自动生成算法,并扩展了后继状态函数.最后运用扩展后的Athena方法对Neuman Stubblebine协议进行了分析,发现协议I部分对协议I部分存在有攻击,相应给出了攻击路径.     

集成数据流和控制流的协议测试集自动生成方法研究

测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支,提出了一种基于ＥＢＥ模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现ＴＵＧＥＮ。ＥＢＥ模型中对协议的外部行为进行描述,强调变迁之间的数据依赖性。在ＴＵＧＥＮ中,我们引入控制流测试中的ＵＩＯ序列算法和描述协议不确定性的ＡＩＯ树的概念,运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性,并采用测试集的验证     

基于UIO序列的状态机测试序列生成算法

在通信协议的一致性测试中,寻找一条简洁高效的测试序列是关键工作之一．基于FSM模型的协议一致性测试,提出一种新的UIO序列生成方法,利用遗传算法求解UIO序列．研究结果表明,该算法能生成更短且结果稳定的UIO序列．     

数控系统的混合任务模型及其最优调度算法研

针对数控系统中多种类型任务并存,且任务之间在时序、资源等方面存在相关性的特点,建立了混合任务系统模型,并引入计算机人工智能领域的启发式最佳优先搜索算法来实现该模型任务集的最优调度.该算法通过搜索问题的状态空间树,在符合所有约束条件的状态节点中寻找使得启发式评估函数取到极小（或极大）值的节点,最终得到系统的最优调度集.实例研究和算法性能分析表明,该算法解决了传统实时系统调度算法不适用于混合任务系统的问题,对于并发任务数量不大的数控系统,能有效地实现任务的最优调度.     

最大概率分词问题及其解法

提出了一种新的汉族自动分词算法,该算法运用人工智能中的问题求解技术,先将汉族句子的切分问题归约为若干字段的切分问题,再用启发式状态空间搜索技术将每个字段分别转换为概率最大的词序列。     

通讯协议的一致性测试产生技术

文中采用新的方法对通讯协议的一致性产生相应的测试序列，对ＵＩＯＶ（Ｉｍｐｒｏｖｅｄ Ｕｎｉｑｕｅ Ｉｎｐｕｔ／Ｏｕｔｐｕｔ）方法进行改进：当状态先ＵＩＯ序列时，采用并行表示技术收敛边标识与其它状态区分开来，而不是采用ＩＯ（ｓ，ｋ）（区分状态ｓ与ｋ的输入／输出序列），由于ＩＯ（ｓ，ｋ）对某个状态有时是不唯一的；当某个状态有多个ＵＩＯ序列时，采用启发式方法选择准最优的ＵＩＯ序列，并与中国农村邮递员算法     

Minimal-Length Interoperability Test Sequences Generation via Genetic Algorithm

A novel interoperability test sequences optimization scheme is proposed in which the genetic algorithm (GA) is used to obtain the minimal-length interoperability test sequences. During our work, the basic interoperability test sequences are generated based on the minimal-complete-coverage criterion, which removes the redundancy from conformance test sequences. Then interoperability sequences minimization problem can be considered as an instance of the set covering problem, and the GA is applied to remove redundancy in interoperability transitions. The results show that compared to conventional algorithm, the proposed algorithm is more practical to avoid the state space explosion problem, for it can reduce the length of the test sequences and maintain the same transition coverage.     

基于回归模型的Spark任务性能分析方法

为解决Spark任务运行过程中的性能评估与改进问题,本文提出一种基于启发式算法和支持向量机回归模型的Spark性能评价与分析方法.本文首先提出一种启发式性能评价算法,该方法采用Ganglia收集并处理Spark任务运行时的集群资源消耗数据,根据k-means算法划分任务类型,并根据任务类型确定启发式性能评价算法的评价指标和初始权重.然后,从Spark历史服务器中收集并处理任务运行效率数据,与集群资源消耗数据一并作为Spark任务运行时的状态数据.最后,根据状态数据迭代确定启发式性能评价算法的最终权重,以此建立Spark性能评价回归模型.本文随后提出一种基于支持向量机SVM回归算法(SVR)的Spark性能分析方法.该方法对Spark配置参数与整体性能建立回归模型,然后对该回归模型进行敏感度分析,找到能够影响Spark性能的重要参数.实验结果表明,启发式性能评价算法能够量化Spark任务资源消耗和运行效率等各方面性能,比较全面地评估任务的整体性能.基于SVR的性能分析方法能够比较有效地应用于Spark任务的实际分析中,形成初步的Spark任务性能调优建议.     

IPv6协议一致性测试

对网络设备的协议实现进行一致性测试是网络设备研发的必要环节。本文在研究协议一致性测试原理和方法的基础上,围绕实现IPv6协议一致性测试这个目标,在Linux平台上设计了一种协议一致性测试的软件架构。同时针对Linux AS4.0的IPv6基本协议和ICMPv6设计了两大组共10个测试例,并对RedHat Linux AS4的IPv6协议的一致性进行了验证测试。     

通信协议一致性测试方法

由于 ISO 协议的开发常常由不同的人员或组织进行,导致产品的某些功能与标准不一致,这些产品在联成网络时,无法可靠地通信.解决这个问题的办法是对通信协议进行一致性测试.本文主要对通信协议一致性测试的方法、原理、所需测试的内容以及目前该领域研究动态作一概要综述.     

基于局部错误诊断的动态协议一致性测试方法

为提高测试结果的可靠性和错误覆盖率，在动态协议一致性测试过程中引入局部错误诊断机制，提出了一种新的动态测试方法，并在确定有限状态机模型下分析其原理及正确性. 新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选，有效避免了对局部错误位置的错误判断. 同时，提出了一种基于错误子列的局部错误诊断方式，突破了单一错误假设的局限，更具实用价值. 实验结果表明，该测试方法可以有效地避免由于局部错而误造成的测试结果可靠性的降低，具有更好的错误覆盖率.     

No/7信令中ISUP协议一致性测试方法的探讨

针对ＩＳＵＰ协议的特点,借鉴钳形渡口测试方法的思想,用一种新方法实现ＩＳＵＰ协议一致性的分布法测试,该方法的优点在于解决上测试器的下测试器之间的同步和协调问题,实现了上测试器的自动化并减小了其实现的复杂度。