基于协议状态机遍历的模糊测试优化方法

针对现有的协议模糊测试技术存在报文重复交互、输入盲目等问题,提出一种基于协议状态迁移遍历的模糊测试优化方法。该方法将协议状态迁移遍历问题转化为中国邮路问题,求解遍历所有协议状态迁移的最短路径,并依据该最短路径对各个状态迁移进行测试。在测试过程中,通过分析协议实体在执行测试用例后的响应报文,动态调整后续的报文输入,进而避免无效交互。同时利用UIO序列判断协议实体状态是否发生异常迁移,及时检测协议逻辑漏洞。实验结果表明,该模糊测试优化方法可以显著提高测试效率与漏洞挖掘能力。     

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

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

卫星姿态控制系统鲁棒故障诊断方法

针对卫星姿控系统的鲁棒故障诊断问题,在未知输入观测器(UIO)基础上,提出利用非线性未知输入观测器(NUIO)对执行机构和敏感器故障诊断.考虑姿控系统存在外部干扰以及系统不确定性,建立姿控系统非线性模型,设计NUIO对部分干扰和系统不确定性解耦,令未解耦部分到系统残差H∝范数作为性能指标使之最优,运用线性矩阵不等式(L...     

ESIS序列自适应生成算法

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

UIO序列生成算法的继续改进

为解决传统的UIO(唯一输入输出)序列方法中使用的UIO搜索树规模过于庞大的问题,分析了UIO树的构造过程,并结合LANG算法提出的一系列的剪枝方法和节点链搜索技术,提出了一种改进的UIO序列算法,使用转换表格连接方法替代传统的构造UIO树的方法,并将节点链搜索技术在算法循环调用,去掉不需要的节点,加快UIO序列生成,降低搜索空间。通过实验结果表明,与现有算法相比,该算法在降低时间复杂度和空间复杂度两方面有较大改进。     

Robust state estimation for a class of uncertain nonlinear systems: Comparison of two approaches

In this paper, two approaches for robust state estimation of a class of Lipschitz nonlinear systems are proposed. First, a novel Unknown Input Observer (UIO) is designed without observer matching condition satisfaction. Then, an $H_{\infty }$ observer for approximate disturbance decoupling is proposed. Sufficient conditions for the existence of both proposed observers are derived based on a Lyapunov function. The achieved conditions are formulated in terms of a set of linear matrix inequalities (LMIs) and optimal gain matrices are obtained. The minimum values of the disturbance attenuation levels for both methods are obtained through solving optimization problems. Finally, the proposed approaches are compared by simulation studies of an automated highway system.     

含自发事件的协议一致性测试例的生成

目前有许多基于有限状态机生成一致性测试序列的方法,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充,使之适用于含自发事件的有状态机,并已将该方法应用于OSPF协议的一致性测试。     

基于扩展对象模型的界面自动生成

根据界面工程设计和自动化的需要，本文提出了基于FMP模型中的扩展对象模型的自动生成方法。界面自动生成是根据扩展对象模型中的对象描述信息，通过指定不同的布局策略在界面的特定区域中实现的不同界面布局。实验结果表明本文提出的方法具有相当的应用价值。     

一种基于多UIO的一致性测试序列优化方法

在通信协议一致性测试中，设计出测试费用低、检错能力强的测试序列是关键工作之一。文章基于乡间中国邮递员遍历算法，利用网络流技术从一个状态的多UIO序列中选择适当的一个，使有向图G^test的度：△（G^test）＊^n∑i=1｜ξ（vi）｜最小，从而达到减少测试序列的总时间费用的目的。     

一种启发式UIO序列生成算法

基于UIO序列的测试方法已经广泛地应用在协议一致性测试和软件一致性测试方面,如何有效地生成更短的UIO序列一直为人们所关注。提出了一种基于估价函数的启发式生成UIO序列的算法,通过分析比较该算法能更有效地产生UIO序列。