测试点的选取问题

在故障检测的过程中 ,每个测试点检测需要的时间可能不同。本文研究了如何选取一些测试点 ,使得这些测试点可以检测所有故障 ,而所需时间最少的问题。我们将其转化成整数规划问题 ,并给出一个求解算法 .最后给出一个实例对算法加以说明。     

Bayesian testing strategies for software with an operational profile

We consider a software reliability model where the failure rate of each fault depends on the specific operation performed. The software is tested in a given sequence of test cases for fixed durations of time to collect data on failure times. We present a Bayesian analysis of software failure data by treating the initial number of faults as a random variable. Our analysis relies on the Markov Chain Monte Carlo methods and is used for developing optimal testing strategies in an adaptive manner. Two different models involving individual and common faults are analyzed. We illustrate an implementation of our approach by using some simulated failure data. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48:747–763, 2001     

基于多通道通信技术的高速数据采集器的研制

主要介绍应用多通道通信技术开发研制的高速数据采集器的功能特点 ,对实际研制和使用中的几个关键技术进行了较详细的分析讨论 .应用于流场测试试验的结果表明 ,该系统速度快、稳定性好、功能齐全且自动化程度高 .该系统具有的高精度非常适合于流场测试 ,能确保测试的准确性     

一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

Testing of software with an operational profile

One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000     

利用验前信息的一种序贯检验方法——序贯验后加权检验方法

序贯验后加权检验方法是Bayes 统计观点在假设检验中的运用。本文提出了该方法的一般理论,给出了当总体的分布参数具有验前信息时的序贯检验方法。文中确定了决策区的划分,同时讨论了序贯截尾方案,给出了检验中可能犯两类错误的概率的上界,并将一般理论应用于产品的可靠性检验和再入飞行器随机落点的精度鉴定。由于运用了验前信息,因此能有效地在少量试验之下进行统计假设检验。本文所提供的方法对于昂贵产品试验结果的统计评定具有普遍意义。     

Testing or fault-finding for reliability growth: A missile destructive-test example

A new piece of equipment has been purchased in a lot of size m. Some of the items can be used in destructive testing before the item is put into use. Testing uncovers faults which can be removed from the remaining pieces of equipment in the lot. If t < m pieces of equipment are tested, then those that remain, m₁ = m − t, have reduced fault incidence and are more reliable than initially, but m₁ may be too small to be useful, or than is desirable. In this paper models are studied to address this question: given the lot size m, how to optimize by choice of t the effectiveness of the pieces of equipment remaining after the test. The models used are simplistic and illustrative; they can be straightforwardly improved. © 1997 John Wiley & Sons, Inc. Naval Research Logistics 44: 623–637, 1997     

常规导弹作战批量测试优化研究

短时间内测试大批量合格的常规导弹是未来作战的客观要求.结合导弹部队的作战实际情况,分析了当前技术阵地测试所面临的问题,提出了一些改革的方法.改造技术阵地测试设备,提高操作人员的熟练程度,采用并行技术和关键路技术优化导弹测试流程,同时建立战时应急状态下的测试流程,特别是导弹批量测试技术的提出,将极大地提高导弹测试速度,缩短测试时间,为将来技术阵地的建设提供了建议,同时也对将来常规导弹的设计和研制提出了更高的要求.     

一种新的Weibull分布恒定应力加速寿命试验分析方法

分析了Weibull分布恒定应力加速寿命试验常用的二步分析方法存在的不足 ,建立了一种新的构造数据分析方法。考虑到分布参数的相关性 ,该方法引入了Weibull分布特征寿命参数的二次估计 ,在模型拟合优度上高于原来的二步分析方法 ,使分析精度得到了改善。同时 ,该方法避免了原来二步分析方法的查表过程 ,便于软件实现和工程实际应用。     

装甲车辆小功率直流电机自动检测

以计算机为核心组成一个自动检测系统,可以自动地调整电机的工作状态,对其数据进行采 集,从而判断电机的性能,可以显著提高测试精度与效率。重点讨论了自动检测系统的原理及其软硬件设 计思路与方法。