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

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

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

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

On linear observers and application to fault detection in synchronous generators

This work introduces an observer structure and highlights its distinct advantages in fault detection and isolation. Its application to the issue of shorted turns detection in synchronous generators is demonstrated. For the theoretical foundation, the convergence and design of Luenberger-type observers for disturbed linear time-invariant （LTI） single-input single-output （SISO） systems are reviewed with a particular focus on input and output disturbances. As an additional result, a simple observer design for stationary output disturbances that avoids a system order extension, as in classical results, is proposed.     

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

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

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.     

Study on unknown input reduced-order observer for fault diagnosis

A novel unknown input reduced-order observer (UIRO) design scheme is presented. It is proved that unknown input appearing in measurement can be eliminated by a simple algebraic transformation. Then, a new UIRO design scheme is proposed via a transformation under no unknown input existing in measurement. Compared with other known results, the condition is weaker than others. So it was further reasonable. The design procedure proposed is simple and straightforward enough to be applied. An example is given to show its efficiency in fault diagnosis.     

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

在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题.在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点.实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率.     

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

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