基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

铁路区间信号系统测试评估平台——自动闭塞移频信号的数据采集及验证

铁路区间信号系统测试评估平台中数据采集和验证子系统研究移频信号的数据采集、A/D转换和信号显示,移频信号的处理是对被测系统发送和接收的移频信号的载频和调制低频鉴频鉴幅,进行验证,为测试评估平台对被测系统的功能、可靠性和安全性评估作必要的数据准备.     

软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为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     

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)激励脉冲信号有利于减少波的发散特性和提高缺陷的检测能力;导波在管道中传播衰减缓慢,适用于长距离、大范围、快速、非接触管道检测.     

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

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

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

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