基于UIO测试序列的错误诊断算法

唯一输入输出(Unique Input Output)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。     

一种改进的UIO序列生成算法

基于UIO的测试方法都需要先找到FSM状态图中所有状态的UIO序列。Kshirasagar Naik提出一种基于FSM的UIO生成算法,可以避免求UIO树时先求出较长的UIO序列,但该方法采用的推导过程却使得出的UIO序列越来越长。该文利用宽度与深度相结合的方法,对上述算法得出的结果做了进一步处理,缩短了测试序列。     

用户界面对象模型的研究

本文首先介绍了用户界面对象ＵＩＯ及其模型的基本概念，根据出它的基本特点，较为详尽地研究了ＵＩＯ的对话控制，表示元素及应用接口。最后简单地讨论了ＵＩＯ模型用于多窗口界面工具的设计及实现。     

基于UML状态图的类测试用例自动生成方法

UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML状态图的类的测试用例自动生成方法。     

Observer-based Fault Detection and Isolation for 2D State-space Models

In this paper, the fault detection and isolation problems for two-dimensional (2D) state-space models are investigated, both when no disturbances affect the system and when they actually do. Basing on some old results about dead-beat observers [Bisiacco, M. (1986) IEEE Transactions on Automatic Control, AC-31, 676–680] and on some recent results about dead-beat unknown input observers (UIOs) (for 2D systems affected by disturbances) [Bisiacco, M. & Valcher, M. E. (2004) International Journal of Control 77(9), 861–876], we develop a complete theory of dead-beat (possibly unknown input) observer-based fault detectors and isolators (FDIs). Necessary and sufficient conditions for the existence of a dead-beat observer-based FDI or for the existence of a dead-beat UIO-based FDI are derived, and constructive procedures for obtaining such FDIs are described in detail. Published online: April 2006     

基于UIO的协议一致性测试序列生成方法改进

在协议一致性测试中关键则在于寻找一条简捷高效的测试序列。在基于UIO序列的基础上提出BUIO序列的方法,并运用中国邮递员算法和启发式算法对其进行优化。     

Design of an Optimal Unknown Input Observer for Load Compensation in Motion Systems

Recently, several model‐based control designs have been proposed for motion systems and computerized numerical control (CNC) machines to improve motion accuracy. However, in real applications, their performance is seriously degraded when significant disturbances or cutting forces are applied. In this paper, we derive straightforward design procedures for a general‐structured unknown input observer (UIO) which perfectly decouples the effect of the external disturbance from the state estimation. Furthermore, we derive the optimal UIO by minimizing the estimation errors for both the state and the disturbance via the Riccati equation. Experimental results show that the performance of alladvanced motion controllers suffers when external loads are applied. By compensating for the disturbance of a servo motor using the proposed optimal‐UIO, the original contouring accuracy, which is degraded by the external loading, can be successfully recovered.     

基于UIO的协议测试序列生成方法的改进

文章在FSM模型下基于UIO序列的协议测试生成算法的基础上,介绍了UIO(S)序列和IO(S,K)序列的生成算法.并针对在IUT中,会出现UIO(S)和IO(S,K)序列失效的问题,提出了一种有效的检验方法.最后,给出了完整的测试序列生成方法.     

基于EDPN的面向对象的系统测试用例生成技术的研究

面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event-DrivenPetriNetwork,简称EDPN)模型直观可靠的特点和较好的耦合性运用到系统测试技术中,探讨了解决问题的途径,提出了一种基于EDPN的唯一输入输出(UIO)测试用例的生成方法,并设计了基于深度优先搜索方法的自动生成测试用例的算法。     

两种基于UIO序列的测试序列生成算法及比较

在通信协议一致性测试中,生成测试序列是非常重要的。基于FSM(FiniteStatemachine)的测试序列生成的形式化方法有很多种,其中基于UIO序列(Uniqueinput/outputsequences)的U方法是最常用的。本文主要介绍了两种基于UIO序列的测试序列生成算法,并以TCP协议的FSM图为例,分别应用这两种算法生成了测试序列,进而从错误覆盖度、测试序列的长度、算法复杂度等方面对这两种算法进行了比较研究。