基于UML状态图的C/S模式软件系统的一致性测试例生成

C/S模式的软件系统具有多层次结构、采用面向对象编程技术等特点,为其生成一致性测试变得十分困难.使用UML状态图,为一个C/S模式的软件系统建模,将建立好的模型转换为扩展的有限状态机,并在该有限状态机上使用UIO序列与中国邮递员算法相结合的方法进行测试例的生成,最后应用数据流分析技术对生成的测试例进行分析,排除了其中不可执行的测试例.该方法利用了UML状态图易于建模的优点,降低了测试生成的难度,缩短了测试例的长度并节省了软件开发的成本.     

一种基于扩展对象模型的界面自动生成方法

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

基于中国邮路算法及UIO序列的状态机测试序列生成

状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。     

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

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

Unknown input observer design and analysis for networked control systems

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 (N_etUIO) dynamics, (3) design a N_etUIO 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.     

通信协议一致性测试序列自动生成算法与仿真的研究

目前有许多测试序列的生成方法,该文在FSM模型下基于UIO序列和BUIO序列,提出了完整的自动生成测试序列算法。该算法生成的测试序列较其他算法短,并通过ECMA-264实例得到了验证。     

基于有限状态机的一致性测试例自动生成方法

一致性测试通俗地讲是测试被测设备（ＩＵＴ）是否符合有关标准。随着被测设备类型的增多，用手工方法产生测试例将是不可能的，所以，迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例，用这种方法产生的测试例的数目有一确定的上限。     

Mobile IPv6协议一致性测试研究

针对Mobile IPv6协议实现的产品可能存在与协议说明不一致的问题,对Mobile IPv6展开协议一致性测试。首先根据RFC 3775提取了Mobile IPv6的一致性测试需求,并针对协议特点设计一种主被动测试相结合的新测试方法,然后运用有限状态机模型为移动节点、家乡代理和通信节点创建形式化模型,在该模型基础上使用U方法自动生成了14条测试例。最后,对Red Hat Linux 9.0环境下的mipv6-1.1-v2.4.26协议实现进行一致性测试实践。对测试结果进行分析后表明,被测实现与协议说明之间存在不一致之处。     

基于奇异值分解的控制系统故障检测滤波器设计

利用奇异值分解技术,构造一种未知输入观测器,并在此基础上设计FDI滤波器,实现控制系统的故障检测与隔离。由原始系统矩阵,给出了FDI滤波器的存在的必要条件。仿真算例验证了所提方案的有效性。     

基于UIO序列的类重要性度量

程序理解是测试和维护大规模面向对象程序的关键,选择程序的关键类优先开展分析是理解程序结构的一个有效的方法.为支持自动识别软件系统中的关键类,本文提出了一种基于UIO序列的类重要性度量方法.首先将软件系统抽象为一个以类为转换的有限自动机模型,随后求解该自动机的UIO序列,将该序列集合转化为状态转换树.通过递归计算状态转换树的节点复杂度求得类重要度.并在考虑异常传播的基础上改进了算法.最后通过实验验证了算法的有效性.