排序方式: 共有55条查询结果,搜索用时 15 毫秒
1.
2.
文中采用新的方法对通讯协议的一致性产生相应的测试序列,对UIOV(Improved Unique Input/Output)方法进行改进:当状态先UIO序列时,采用并行表示技术收敛边标识与其它状态区分开来,而不是采用IO(s,k)(区分状态s与k的输入/输出序列),由于IO(s,k)对某个状态有时是不唯一的;当某个状态有多个UIO序列时,采用启发式方法选择准最优的UIO序列,并与中国农村邮递员算法 相似文献
3.
Ahmad F. Taha Ahmed Elmahdi Jitesh H. Panchal Dengfeng Sun 《International journal of control》2013,86(5):920-934
The insertion of communication networks in the feedback loops of control systems is a defining feature of modern control systems. These systems are often subject to unknown inputs in a form of disturbances, perturbations, or attacks. The objective of this paper is to design and analyse an observer for networked dynamical systems with unknown inputs. The network effect can be viewed as either a perturbation or time-delay to the exchanged signals. In this paper, we (1) review an unknown input observer (UIO) design for a non-networked system, (2) derive the networked unknown input observer (NetUIO) dynamics, (3) design a NetUIO such that the effect of higher delay order terms are nullified and (4) establish stability-guaranteeing bounds on the networked-induced time-delay and perturbation. The formulation and results derived in this paper can be generalised to scenarios and applications where the signals are perturbed due to a different source of perturbation or delay. 相似文献
4.
5.
丁雪莲 《西安邮电学院学报》2011,16(5):59-63
针对Mobile IPv6协议实现的产品可能存在与协议说明不一致的问题,对Mobile IPv6展开协议一致性测试。首先根据RFC 3775提取了Mobile IPv6的一致性测试需求,并针对协议特点设计一种主被动测试相结合的新测试方法,然后运用有限状态机模型为移动节点、家乡代理和通信节点创建形式化模型,在该模型基础上使用U方法自动生成了14条测试例。最后,对Red Hat Linux 9.0环境下的mipv6-1.1-v2.4.26协议实现进行一致性测试实践。对测试结果进行分析后表明,被测实现与协议说明之间存在不一致之处。 相似文献
6.
目前有许多测试序列的生成方法,该文在FSM模型下基于UIO序列和BUIO序列,提出了完整的自动生成测试序列算法。该算法生成的测试序列较其他算法短,并通过ECMA-264实例得到了验证。 相似文献
7.
基于中国邮路算法及UIO序列的状态机测试序列生成 总被引:9,自引:0,他引:9
状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。 相似文献
8.
基于有限状态机的一致性测试例自动生成方法 总被引:5,自引:0,他引:5
一致性测试通俗地讲是测试被测设备(IUT)是否符合有关标准。随着被测设备类型的增多,用手工方法产生测试例将是不可能的,所以,迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例,用这种方法产生的测试例的数目有一确定的上限。 相似文献
9.
利用奇异值分解技术,构造一种未知输入观测器,并在此基础上设计FDI滤波器,实现控制系统的故障检测与隔离。由原始系统矩阵,给出了FDI滤波器的存在的必要条件。仿真算例验证了所提方案的有效性。 相似文献
10.