诊断策略设计方法综述

诊断策略设计是装备测试性工作的重要组成部分,对提高装备的性能监测和故障诊断能力,减少测试和维修资源需求,降低寿命周期费用等方面具有重要的意义;通过对国内外的研究成果及相关文献进行分析和总结,较为系统的介绍了AND/OR图启发式搜索方法和智能优化算法两大类诊断策略设计方法的原理及分类;对多故障条件、测试多值输出和测试不可靠条件等复杂条件下的诊断策略设计方法的研究现状进行了分析和综述;在此基础上,从三个方面探讨了诊断策略设计的未来研究方向。     

基于模型诊断的元件替换与替换测试

元件替换是工农业和日常生活中经常使用的一种诊断方法,文中结合基于模型诊断理论,对元件的替换测试进行了研究,提出了元件替换与替换测试的概念,并以此为基础对诊断的判定与故障元件的确定进行了探索,证明了关于替换测试用于故障原因判定的几个定理。文中的研究结果可以帮助选择欲替换的元件,提高诊断效率,并可以将测试同修复结合来,使系统尽快恢复正常功能。     

面向服务的装备远程测试诊断

针对远程测试诊断软件存在平台相关、不能穿越防火墙的问题，该文提出了适合装备远程测试诊断的两种系统结构，用基于HTTP通信协议的Web服务代替传统的组件技术进行远程测试诊断软件开发。在适合装备远程测试诊断硬件平台的基础上，介绍了面向服务的远程测试诊断软件工作原理。远程测试诊断软件平台的独立和防火墙问题得到了解决。     

基于扩展的因果理论的鉴别诊断

许多学者将因果关系这一概念应用于基于模型的诊断领域.然而,他们的研究只局限于简单因果理论.该文提出的扩展的因果理论则包容了更多的信息,指出了扩展的因果理论的诊断空间小于等于相应简单因果理论的诊断空间.另外,还将扩展的因果理论用于测试领域,证明了对于封闭的扩展的因果理论,溯因鉴别诊断等于基于一致性鉴别诊断.这一结果可应用于测试选择的策略.     

松散耦合接口测试数据精简技术

软件接口测试的重点是要检查数据的交换、传递和控制过程,还包括处理的次数.在接口测试中经常涉及大量具有复杂关系的接口数据,这些接口数据形成的输入集合相当巨大,对软件测试人员造成很大的困扰.该文研究的是基于松散耦合的接口,如何在巨大的输人数据集合中确定有效的测试用例输入子集.提出了通过精简输入数据域、确定值域相关关系以及多重维数相邻因素组合覆盖表等技术设计接口测试用例的方法.应用该方法,在限定资源条件下,简化输入集合,可以得到更有效的测试数据.     

基于BIT的导弹测试与诊断技术

BIT技术是实现可测试性设计的重要技术手段之一,将其应用到导弹测试与诊断领域,能有效提高其测试与诊断效果;目前,基于BIT的导弹测试与诊断主要依靠的是弹上总线技术和边界扫描技术,利用边界扫描技术获取相关的测试信息,利用弹上总线进行有效的信息传输与共享.并通过BIT综控计算机进行最后的故障诊断;文中对有关的热点技术包括全弹综合BIT体系构建技术,导弹BIT设计技术、BIT测试向量生成技术、导弹BIT验证技术等多项内容进行了阐述,最后给出了BIT在导弹系统应用中的发展趋势.     

利用元件替换测试求诊断

主要填补了对系统参量不可观测或观没成本高的诊断测试研究这一空白,提出了替换测试荼为诊断测试一种新的可选择方法.在提出相关替换测试要领的基础上,利用元件替换对系统观测值的影响刻画了诊断的判定、利用正常元件替换几个子系统交集元件分解待诊断系统的方法.其结果能够改善诊断与测试的效率、降低诊断成本,并为研究诊断总是分解提供理论依据.     

基于信息模型的综合诊断实现方法

为解决现阶段舰艇电子装备测试诊断中存在的问题,对综合诊断实现相关组件与ATML标准进行了分析,给出了基于XML构建综合诊断信息模型的技术方案.针对综合诊断中综合化和通用性、经济性要求,提出了面向信息模型的综合诊断架构,并在多型电子装备的综合诊断中得到应用,应用情况表明:该方法能有效满足电子装备进行测试诊断需求.     

一种Web测试工具的设计与实现

本文对Web测试进行了研究,探讨了Web测试相关技术,在此基础上,设计了Web应用测试工具WebT,该工具可以有效的实现HTML语法解析、链接检查、网络导航等Web测试方面的功能.整个工作为Web应用软件测试的研究进行一定的探索.     

通控设备一体化测试诊断平台设计与实现

针对指挥系统通信控制设备种类多,测试指标繁杂,测试资源难以集成的问题研发一体化测试诊断平台。首先进行通控设备测试诊断平台的系统总体设计;其次对其关键技术进行研究,主要:包括基于自环与模拟的通控机混合测试技术,基于"软件无线电"的电台综合检测技术,基于指挥系统拓扑结构的网络测试技术等;最后对该检测平台的系统软硬件实现方法进行简要介绍。部队应用表明,该测试诊断平台可实现多种通控设备的一体化综合测试与诊断,满足部队野战条件下指挥系统通控设备的测试诊断需求。     

An extension of Geiringer's theorem for a wide class of evolutionary search algorithms

The frequency with which various elements of the search space of a given evolutionary algorithm are sampled is affected by the family of recombination (reproduction) operators. The original Geiringer theorem tells us the limiting frequency of occurrence of a given individual under repeated application of crossover alone for the classical genetic algorithm. Recently, Geiringer's theorem has been generalized to include the case of linear GP with homologous crossover (which can also be thought of as a variable length GA). In the current paper we prove a general theorem which tells us that under rather mild conditions on a given evolutionary algorithm, call it A, the stationary distribution of a certain Markov chain of populations in the absence of selection is unique and uniform. This theorem not only implies the already existing versions of Geiringer's theorem, but also provides a recipe of how to obtain similar facts for a rather wide class of evolutionary algorithms. The techniques which are used to prove this theorem involve a classical fact about random walks on a group and may allow us to compute and/or estimate the eigenvalues of the corresponding Markov transition matrix which is directly related to the rate of convergence towards the unique limiting distribution.     

某型飞机武器控制系统执行组件测试仪

某型飞机武器控制系统执行组件测试设备在测试诊断过程中,操作复杂且需人工排除故障,因此测试诊断效率低下。为了提高测试诊断效率,设计了某型飞机武器控制系统执行组件测试仪。首先,基于执行组件接口信号分析,获得测试需求,设计了执行组件测试仪的系统结构和工作原理;然后,搭建了以STC89C51单片机为控制核心,具有8路开关量输入和输出功能的硬件电路,并且在Keil编程环境下采用C语言开发了包含测试和诊断模块的系统软件;最后,采用多路测试技术和故障字典法,设置执行组件故障,并通过测试仪的按键控制模块模拟所有可能的测试情况,验证了执行组件测试仪的有效性。实际使用表明,该测试仪可自动故障定位到元器件级,有效提高测试诊断效率。     

Entropy test and residual empirical process for autoregressive conditional duration models

In this paper, we study the entropy test for the goodness of fit test in (nonlinear) autoregressive conditional duration (ACD) models. To implement a test, we first explore the null limiting distribution of the residual empirical process from ACD models and verify that it has an asymptotic expansion form that consists of the true empirical process and extra terms yielded by parameter estimation. Then, we show that under regularity conditions, the proposed entropy test approximately follows a distribution that is free from the parameter estimation. For illustration, a simulation study and real data analysis are conducted. In the implementation of the test, a parametric bootstrap method is employed.     

基于截断型序贯检测的协作频谱感知算法

本文针对低信噪比情况下认知用户的频谱感知需求,提出了一种基于截断型序贯检测的协作频谱感知算法。协作认知用户对接收到的信号序列进行分段处理,统计各自段内采样点能量值大于预设门限值的个数并将其作为本地检测统计量上传至融合中心,有效的减少了控制信道的开销。棣莫弗—拉普拉斯定理和中心极限定理的引入,又使得段内检测统计量近似为高斯分布,从而大大简化了后续似然比函数的理论推导和计算过程。性能分析及仿真结果表明,在目标检测性能相同的条件下,相比现有的能量检测算法,所提算法大大降低了所需的频谱感知时间。     

数字微流控生物芯片测试诊断过程分析和优化

针对数字微流控生物芯片的测试和诊断过程进行建模和分析,并根据并行测试的分块数和单元出错概率为相应的测试和诊断成本建立函数。通过Matlab对测试诊断成本函数的分析表明：随着并行测试分块数的增大,测试诊断成本的变化趋势不明显,也就是说,并行测试的分块数对测试诊断成本的影响不大;而随着单元出错概率p的增加,测试成本呈明显的增加趋势,且增加的幅度较大。另外,诊断过程中,根据单元出错概率对出错的子阵列再进行诊断,诊断过程必须持续若干次,直到所有故障定位后才能结束。在这些诊断中,针对最后一次定位的诊断成本是最大的,而且与其他次的诊断过程的成本相差几十个数量级,决定了总成本的大小。这些结论为数字微流控生物芯片的测试和诊断过程优化提供重要的理论依据,并为测试诊断方法的设计提供指导。     

基于自动测试系统的装备远程测试与故障诊断

简要介绍了国内外自动测试系统和复杂装备远程测试与故障诊断的发展情况,分析了远程测试与故障诊断的必要性和重要性,明确了远程诊断承担的任务和达到的目标,最后阐述了基于自动测试系统的复杂装备远程测试与故障诊断所涉及的技术.     

A Case Study in Matching Test and Proof Coverage

This paper studies the complementarity of test and deductive proof processes for Java programs specified in JML (Java Modeling Language). The proof of a program may be long and difficult, especially when automatic provers give up. When a theorem is not automatically proved, there are two possibilities: either the theorem is correct and there are not enough pieces of information to deal with the proof, or the theorem is incorrect. In order to discriminate between those two alternatives, testing techniques can be used. Here, we present experiments around the use of the JACK tool to prove Java programs annotated with JML assertions. When JACK fails to decide proof obligations, we use a combinatorial testing tool, TOBIAS, to produce large test suites that exercise the unproved program parts. The key issue is to establish the relevance of the test suite with respect to the unproved proof obligations. Therefore, we use code coverage techniques: our approach takes advantage of the statement orientation of the JACK tool to compare the statements involved in the unproved proof obligations and the statements covered by the test suite. Finally, we ensure our confidence within the test suites, by evaluating them on mutant program killing exercises. These techniques have been put into practice and are illustrated by a simple case study.     

边界扫描测试算法的分析与优化

伴随着电子技术和边界扫描测试技术的飞速发展,新的边界扫描测试算法也在不断涌现；而边界扫描测试的算法,一般都是指在互联模型的基础上,边界扫描测试向量的生成算法；生成合理的测试向量集可以以最短的测试时间来覆盖尽可能多的故障；从对一些常用的边界扫描测试算法进行了粗略的分析,到后来对等权值算法和二进制计数算法进行了详细的分析,通过引入和分析边界扫描测试算法的定理、公式以及推论等,分别提出了等权值优化算法和权值递加算法；与优化前的算法作为比较,等权值优化算法降低了征兆混淆出现的概率,而权值递加算法同时降低了征兆误判率和征兆混淆率；综合分析,新的算法更好的权衡了测试向量集的完备性指标和紧凑型指标。     

Verification of the Miller–Rabin probabilistic primality test

Using the theorem prover, we apply our formalization of probability theory to specify and verify the Miller–Rabin probabilistic primality test. The version of the test commonly found in algorithm textbooks implicitly accepts probabilistic termination, but our own verified implementation satisfies the stronger property of guaranteed termination. Completing the proof of correctness requires a significant body of group theory and computational number theory to be formalized in the theorem prover. Once verified, the primality test can either be executed in the logic (using rewriting) and used to prove the compositeness of numbers, or manually extracted to standard ML and used to find highly probable primes.