基于组合设计的软件可靠性测试方法

提出了将实验设计中的组合设计方法应用于软件可靠性测试。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试的一般方法。同时指出了利用软件操作剖面信息和失效数据进行可靠性评估的方法。     

基于机器学习的固体火箭发动机无损检测

传统固体火箭发动机无损检测图像判读工作存在人工识别效率低、图像数据分散及数据利用率低等问题。本文借助机器学习算法与计算机视觉技术,利用大量发动机无损检测图像数据开展无损检测图像数据预处理、边缘检测以及数据模型训练和应用等技术研究,探索快速、准确获得发动机无损检测图像数据特征的方法,深入挖掘固体发动机无损检测数据的内在联系,找到潜在规律。本研究不仅为固体发动机无损检测图像判读提供了一种准确、高效的手段,同时,能够为发动机无损检测图像识别、测量、判读和发动机相关故障模式分析与故障诊断提供数据和决策支持,也能够为未来机器学习在固体发动机无损检测图像判读领域的深入应用提供实践探索和理论研究方面的参考。     

边界扫描测试中簇测试交迭置入方案研究

针对电路板边界扫描测试中簇测试时间较长、测试效率较低问题 ,以并行测试思想为基础 ,提出了一种簇测试置入方案———交迭置入方案 ,并对其进行了理论分析和实验验证。结果表明 ,该方案是最优的簇测试置入方案 ,可以显著减小簇测试时间 ,提高簇测试效率     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

飞控系统风洞虚拟飞行试验评估指标与评估要求

为明确风洞虚拟飞行试验能够评估的飞控系统性能,并为风洞虚拟飞行试验评估方法设计做出铺垫,针对风洞虚拟飞行试验特点,提出了风洞虚拟飞行试验能够评估的飞行性能指标及飞行品质指标,比较了风洞虚拟飞行试验与半实物仿真和飞行试验的评估能力差异;仿真分析了风洞虚拟飞行试验特点会造成的风洞虚拟飞行试验与自由飞行的评估结果差异;从试验、数据处理、性能评定等方面,提出了评估这些指标对风洞虚拟飞行试验评估方法的具体要求,并比较了它与半实物仿真和飞行试验的评估要求差异。     

测试点的选取问题

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

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