数据流分析

介绍了数据流测试的几个相关概念,分析了汇编语言和高级语言C中哪些定值-引用关系可以静态确定,哪些必须动态确定,并提出了实现数据流分析的方法.     

基于非独立测试的诊断策略优化生成

诊断策略优化设计是测试性设计中的一项重要内容.实际中的测试彼此间并非独立,即测试费用依赖于测试的先后顺序,针对这一问题,提出将测试划分成不同的测试模式,规定当一个测试序列中存在模式变换时必须考虑附加的转换费用.建立了同时考虑测试费用和模式转换费用启发式评估函数,并基于该启发式评估函数设计了近似最优的搜索算法,应用案例验证了本算法.试验表明该方法有效地解决了非独立测试的诊断策略优化生成问题.     

ADTA——数据流覆盖测试工具

介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Dataflow TestFor Assembly     

战车火控系统软件可靠性的仿真测试平台

以平均无故障时间间隔(MTBF)和任务成功率为主指标,以某型坦克火控系统为载体,提出了战车非制导武器火控系统软件可靠性仿真测试平台的方案,并对其软件可靠性的仿真测试与验证技术进行了讨论.     

基于机器视觉的喷管摆角测试系统

针对摆动喷管摆角参数非接触的测试需求,设计了一种基于PC的喷管摆角的视觉测试系统,采用机器视觉的方法实现摆动喷管摆角的非接触测量,通过设计的模板匹配加圆拟合的复合式图像处理算法,在保证精度和速度的情况下检测喷管的轮廓及圆心,实现喷管摆角的测量,同时利用系统的标定算法校正了视觉系统中存在的畸变,边缘检测的算法降低了环境因素的影响,保证了测试系统的精度,具备现实环境下的实用性.     

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

网络化并行测试构架初探

相对传统顺序测试技术,并行测试技术可大幅提高测试性能及质量。针对现役保障装备特别是测试设备使用过程中表现出的通用性差、种类繁多、综合化差和集成度低的问题,以"通用化、小型化、系列化"为目标,研究了并行测试技术和网络测试适配技术,提出基于网络化并行测试的航空装备测试新架构,该架构解决了外场保障规模大、保障效率低、保障资源浪费、无法满足快速机动保障的问题。     

工业智能化背景下导弹测试技术的发展思考北大核心

在工业智能化大发展背景下,导弹测试技术面临多型号被测对象的通用、快速、并行、可靠的测试、诊断、维护一体化等需求,以满足武器装备的信息化、智能化综合保障能力的提升需求。导弹测试技术要紧密契合国防工业发展方向,以服务装备保障为中心,以提升技术能力为目标,以需求和问题为导向,创新测试理念、方法、技术手段等,重点发展大数据测试、智能化测试、网络化测试和云测试等技术,实现导弹测试从任务型向能力型的转变。     

地空导弹综合测试技术发展及展望

通过分析对比国内外导弹武器装备综合测试技术的发展历程,总结了国内地空导弹综合测试技术存在的不足,提出后续在测试体系构建、综合测试通用化、虚拟测试、网络化测试和基于LXI测试总线技术等的发展方向和关注重点。     

分布式网络化测试系统设计

以某大型复杂装备远程测试系统为例,给出了基于DCOM的分布式网络化虚拟仪器测试系统的体系结构.该网络化测试系统体系结构采用DS技术作为客户端和测试端连接的中间件,并采用C/S、B/S混合模式使系统各COM/DCOM组件通过网络实现"无缝"连接.DCOM技术的应用使得各网络测试节点成为服务的本体,可以响应不同客户的测试需求,实现了良好的数据传输、安全管理和远程仪器控制.DS技术的使用进一步简化了计算机和测试应用之间的数据交换,达到了良好的实时传输效果.     

基于遗传算法的嵌入式软件测试用例生成系统研究

综合考虑了嵌入式软件的特点，将遗传算法应用于搜索全面覆盖软件特殊路径的测试用例生成的问题，合理构建了嵌入式软件测试用例自动生成系统，给出了系统流程图，改进了部分算子，使搜索效果得以加强，并分析了交叉率、变异率等参数的取值范围，通过改变不同的参数值得到对比图，以确定适合该系统的最佳参数值，并针对实际汇编语言编写的嵌入式软件指定路径进行仿真测试，从理论和实践上证明了该思路的正确性和可行性。     

Comparison between constant‐stress and step‐stress accelerated life tests under Time Constraint

By running life tests at higher stress levels than normal operating conditions, accelerated life testing (ALT) quickly yields information on the lifetime distribution of a test unit. The lifetime at the design stress is then estimated through extrapolation using a regression model. In constant‐stress testing, a unit is tested at a fixed stress level until failure or the termination time point of test, whereas step‐stress testing allows the experimenter to gradually increase the stress levels at some prefixed time points during the test. In this work, the optimal k‐level constant‐stress and step‐stress ALTs are compared for the exponential failure data under complete sampling and Type‐I censoring. The objective is to quantify the advantage of using the step‐stress testing relative to the constant‐stress one. Assuming a log‐linear life–stress relationship with the cumulative exposure model for the effect of changing stress in step‐stress testing, the optimal design points are determined under C/D/A‐optimality criteria. The efficiency of step‐stress testing to constant‐stress one is then discussed in terms of the ratio of optimal objective functions based on the information matrix. © 2013 Wiley Periodicals, Inc. Naval Research Logistics 00: 000–000, 2013     

电子装备随机存储器通用测试算法

随机存储器在电子装备中广泛使用,对其进行有效测试是电子装备自测试与生产功能测试的主要内容。以走一测试算法为基础,设计了数据线、地址线与存储单元测试方法,可以有效检测各种类型的RAM焊接质量与器件质量,对于提高故障定位精度和减少产品的测试时间起重要作用,特别是在电子装备的自测试、生产测试和维护测试中具有很好的应用前景。     

一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

软件测试的故障模型

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

BASIC 主程序与汇编语言子程序连接的新方法

本文总结了在实际工作中摸索的 BASIC 主程序与汇编语言子程序连接的新方法。它采用 DEBUG 的 W 命令直接将汇编子程序的机器代码存入磁盘的扇区。再在 BASIC 环境下调用 DOS 中断25H,将汇编子程序机器码装入内存,然后可由CALL 语句或由 USR 函数调用。该方法可以简化 BASIC 主程序和汇编语言子程序的调试和连接过程。     

可靠性强化试验与加速寿命试验综述

介绍可靠性强化试验与加速寿命试验的基本概念 ,并进一步综述强化试验与加速寿命试验的国内外研究现状 ,最后对强化试验与加速寿命试验领域可能的研究方向进行归纳总结。     

气象水文软件测评系统建设研究

介绍了气象水文软件测评系统建设和研究情况,重点分析了测评系统的网络环境、硬件环境、软件环境、测试技术能力、测试流程管理等方面的建设和研究情况.