软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

Development programs for one‐shot systems using multiple‐state design reliability models

Design reliability at the beginning of a product development program is typically low, and development costs can account for a large proportion of total product cost. We consider how to conduct development programs (series of tests and redesigns) for one‐shot systems (which are destroyed at first use or during testing). In rough terms, our aim is to both achieve high final design reliability and spend as little of a fixed budget as possible on development. We employ multiple‐state reliability models. Dynamic programming is used to identify a best test‐and‐redesign strategy and is shown to be presently computationally feasible for at least 5‐state models. Our analysis is flexible enough to allow for the accelerated stress testing needed in the case of ultra‐high reliability requirements, where testing otherwise provides little information on design reliability change. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

基于RBF网络加速模型的可靠性评估

在可靠性加速试验中,由于各种不同的应力引起的失效机理不一样,不同应力之间可能还存在着相互耦合作用,要将它们和寿命结合,找出一个能真实描述客观情况的加速模型是相当困难的,仅仅依据有限的试验数据建立产品的加速模型存在很大难度和风险,为此提出了一种基于RBF网络加速模型的可靠性评估方法．该方法将加速寿命试验中的加速应力和可靠度作为训练网络的输入向量,相应的时间作为目标向量对网络进行训练,根据网络收敛速和误差精度等情况调整隐含层单元个数,直至得到最优的网络．最后,以实例说明了该方法的有效性和实用性．     

Group testing procedures with quantitative features and incomplete identification

We present a group testing model for items characterized by marker random variables. An item is defined to be good (defective) if its marker is below (above) a given threshold. The items can be tested in groups; the goal is to obtain a prespecified number of good items by testing them in optimally sized groups. Besides this group size, the controller has to select a threshold value for the group marker sums, and the target number of groups which by the tests are classified to consist only of good items. These decision variables have to be chosen so as to minimize a cost function, which is a linear combination of the expected number of group tests and an expected penalty for missing the desired number of good items, subject to constraints on the probabilities of misclassifications. We treat two models of this kind: the first one is based on an infinite population size, whereas the second one deals with the case of a finite number of available items. All performance measures are derived in closed form; approximations are also given. Furthermore, we prove monotonicity properties of the components of the objective function and of the constraints. In several examples, we study (i) the dependence of the cost function on the decision variables and (ii) the dependence of the optimal values of the decision variables (group size, group marker threshold, and stopping rule for groups classified as clean) and of the target functionals (optimal expected number of tests, optimal expected penalty, and minimal expected cost) on the system parameters.© 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

基于ARM-WindowsCE的便携式漏磁检测仪设计

为了分析漏磁信号和缺陷类型之间存在的对应关系,研制了一种适合现场检测的便携式漏磁检测仪。给出基于ARM9嵌入式结构的漏磁检测仪总体结构,该检测仪以S3C2440A处理器为核心,采用WindowsCE5.0为操作系统,以HONEYWELL公司的HMC1021磁阻传感器来获取铁磁材料表面的漏磁信号,较好地实现了漏磁检测仪的基本功能。     

竞争失效产品恒应力加速寿命试验优化新方法

对加速寿命试验设计优化的相关知识进行研究分析,确定以竞争失效产品恒应力加速寿命试验为应用背景。在对加速寿命试验统计分析深入研究的基础上,通过分析方案要素、约束条件等建立优化目标函数,提出基于模拟退火算法的优化方法和具体实现思路。最后通过实例验证方法的可行性和实用性。     

管道超声导波无损检测技术应用研究

利用研制的磁致伸缩超声导波无损检测装置对长直无缝钢管、舰用锅炉U型管和弯管进行了大量试验研究.研究发现,通过对该装置中磁致伸缩传感器的放置位置及方向进行适当调整,此装置即可在管道中激发纵向导波;该技术对管道壁厚减薄、磨损或腐蚀、裂纹、焊缝等缺陷同样具有检测能力;选择低频(20~40 kHz)激励脉冲信号有利于减少波的发散特性和提高缺陷的检测能力;导波在管道中传播衰减缓慢,适用于长距离、大范围、快速、非接触管道检测.     

引信软件安全性仿真测试系统研究

首先分析了引信软件的特点,结合引信的高安全性要求,对引信软件安全性进行分析。然后详细讨论了构建引信软件安全性仿真测试系统的难点,提出了系统工作原理,对其特点进行了分析,指出了系统要实现的功能,描述了系统体系结构。     

红外光谱法在材料阻燃分析中的应用

介绍了红外光谱法在表征阻燃材料与防火涂料结构及研究其阻燃性能方面的应用,讨论了红外光谱分析技术在材料阻燃分析中的应用前景。     

22SiMn2TiB装甲钢异种焊接接头超声波探伤探头设计

用常规探头对22SiMn2TiB装甲钢与TWE312异种钢焊接接头进行缺陷检测,杂波和伪缺陷波导致灵敏度、信噪比不高。用扫描电镜观察到这种异种钢焊接接头主要为奥氏体+铁素体组织,其中奥氏体是主体组织。根据焊缝的组织特点,设计出了2.5P13×13K1.5型专用探头。在预制缺陷的焊接接头上进行了验证试验,结果表明2.5P13×13K1.5探头对接头内部的缺陷具有较高的检出率。