基于自组织神经网络的软件功能测试数据自动生成

针对面向软件功能的测试数据自动生成问题,提出了一种动态自组织特征映射方法,用于生成揭示软件功能故障的测试数据(简称故障数据)。该方法主要有两部分组成,①采用具有全局多峰搜索特性的小生境遗传算法,在输入空间内搜索功能测试数据,生成少量的初始故障数据;②由初始故障数据,采用具有联想和分类能力的可变结构自组织特征映射,不断迭代生成大量相近而不同的故障数据,以便给开发者提供引发这些软件故障的信息,从而确定软件故障行为的模式或假设。用某型空空导弹发射控制软件进行了实验,运行结果表明了方法的有效性,故障数据生成效率高于遗传算法和随机法。     

航空火控仿真系统的设计与开发

基于可视化仿真技术建立了航空火控仿真系统。该系统实现了四种航空火控设备的功能仿真,可为学员提供故障检测、实时监控、作战效能评估等多方面的教学训练。本文介绍了系统的功能,系统硬件和软件的结构及组成。     

安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

基于大气传输软件激光透过率对比研究

简要地归纳了目前比较通用的大气传输软件LOWTRAN7、MODTRAN和FASCODE的概况和异同,分析了大气透过率的计算和激光武器选用的波长,比较了激光传输衰减和能见度的关系,重点研究对比了用LOWTRAN7和FASCODE计算1．06μm和10．6μm激光的透过率,并得出了结论。     

叶片包容性计算的软件实现

基于英国和俄罗斯叶片包容性设计方法和理论,应用VB语言开发了叶片包容性计算软件。以某型发动机第1级涡轮叶片为例,用该软件计算了叶片包容性和满足包容性条件下的最小机匣厚度。根据实际要求,也可以用该软件确定满足包容性要求的各设计参数     

基于过程的信息审计平台的体系结构研究

针对目前市场上安全监督产品绝大多数是事后审计模式,本文描述了一种基于过程的信息审计平台,并对其体系结构作了具体的分析和描述。最后介绍了应用这个信息审计平台实现的一个基于过程的信息审计系统。     

基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

涡轮盘双轴对称异形孔结构建模与优化

针对发动机轮盘孔结构的应力集中问题,以某高压涡轮盘安装边螺栓孔为研究对象,建立了涡轮盘非圆异形孔数学模型.该异形孔由双轴对称的8段圆弧光滑连接而成,并满足螺栓装配的要求.使用该异形孔模型取代了原螺栓孔.以有限元分析为基础对异形孔进行了优化,得到该轮盘安装边多圆弧异形螺栓孔的最佳形状.结果表明:优化后的多圆弧异形螺栓孔边第1主应力最大值降低了14.8%,孔边应力集中程度显著下降.设计参数灵敏度分析结果表明,与主圆弧相连的过渡圆弧的尺寸对孔边应力的影响较为显著,在设计中应予以重视.      

基于任务的软件配置管理模型的研究

介绍了传统配置管理模型的特点,针对其管理分散、难于在数据以及数据版本间建立关联等问题,对基于任务的软件配置管理模型进行了深入研究.模型在传统的配置管理模型中增加任务层,以功能要求为目标驱动,创建任务结点,通过任务的完成建立起上层目标与所有相关的配置项及配置项版本的关联,从而实现了目标与基本管理单元的自动追踪.     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。