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

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

齿轮箱振动测试与分析

在对某型齿轮箱的模态、振动烈度和振动加速度进行测试的基础上,详细分析了测试结果.模态测试得到了齿轮箱的振型和模态参数,振动烈度测试结果表明该齿轮箱处于良好工作状态,振动加速度测试结果显示该齿轮箱的减振措施达到了预期的效果.最后,对测试提出了建议.     

数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.     

铁路区间信号系统测试评估平台——信号设备与列车运行仿真研究

铁路区间信号系统测试评估平台是对铁路区间列车运行安全控制和防护系统进行可靠性、安全性测试及评估的平台.区间信号设备与列车运行仿真子系统是平台的一个子系统,它为平台提供了一个虚拟的现场环境.采用面向对象技术和离散事件仿真技术对仿真子系统进行了研究.详细地阐述了信号设备及列车的仿真模型、设计和仿真算法,并给出仿真实例,满足平台对仿真子系统地要求.     

电子对抗装备软件的测试策略与方法

在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.     

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

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

汇编语言的单元测试技术研究

汇编语言具有非结构化、非标准化、硬件相关性高、灵活性极大等特性,单元测试难度较大.针对汇编语言的特点,论述了汇编语言单元测试过程中功能测试、结构覆盖率测试和性能测试的方法和步骤.     

基于循环条件生成对抗网络的数据生成方法

针对军事领域数据采集困难以及数据生成人工依赖性强、成本高、效率低等问题,在生成对抗网络(GAN)框架的基础上,构建长短期循环神经网络(LSTM-RNN)代替生成对抗网络中的生成器和鉴别器,以最大平均差异和最大似然估计作为指标构建数据生成评估模型,提出一种可生成数据序列的循环条件生成对抗网络(RC-GAN).该方法完全依靠数据驱动,无需经过精心设计的建模过程,便可生成与真实数据相一致的数据.通过基于实际数据的仿真实验,验证了该方法在数据相似度、估计误差、抗干扰性以及泛化性方面的优势.     

实时数字场景仿真系统研究与实现

开发在实验室里测试导引头信息处理机的实时数字场景仿真系统已经成为了图像制导武器发展的迫切需要。介绍了一个由高性能PC机和PCI插卡构成的实时场景仿真系统,描述了该系统的工作流程和系统结构,以及软件和硬件等主要组件的工作原理和实现方法,试验结果表明系统能够满足实际应用的需要。     

北航华银:校企联姻"福满堂"

柔性试验技术是由北京航空航天大学经过多年研究开发而提出的一种新技术概念。由北京航空航天大学承担的国防科技工业军转民技术开发项目——“柔性试验技术的推广应用”,于2003年7月18日在北京航空航天大学通过了由国防科工委及材料试验技术领域专家组成的验收委员会的验收。专家们认为先进柔性试验技术的推广应用,提高了试验机及测试仪器的技术水平和测试效率,促进了试验机行业的发展。自2002年本军转民技术开发项目实施以来,北京航空航天大学与山东莱州华银试验仪器有限公司紧密合作,成立了北航华银试验技术研发中心,充分利用北航的技术…