CATIA V5三维标准件库的建立

阐述了应用于成飞公司型号设计的CATIAV5三维标准件库的构建思路、功能特点、模型库和相应软件的开发过程,以及实际应用情况。实践表明,该标准件库的建立为加速产品设计提供了实用有效的工具。     

防错设计在型号研制生产中的实现方式探析

主要对防错设计在航空型号研制生产中的实现方式进行了探索性的研究。简要介绍了航空型号的特征,强调在航空零部件的研制和生产过程中实施防错设计的必要性,详细剖析了防错设计在航空型号研制生产中的两种实现方式,即合理安装设计与自动检测设计,并结合我国航空型号生产中的实际案例,分情况讨论了这两种实现方式。     

标准为某重点型号研制奠定坚实基础

分析了某重点型号工程研制中标准的应用情况,以具体的标准案例和工程实际问题,说明了标准在型号研制中取得的成效与发挥的作用.     

坐标测量机软件质量的评定

EvaluatingSoftwareQualityofCoordinateMeasuringMachineZhouWeihu坐标测量机中广泛采用的用于处理测量数据的软件，其质量优劣悬殊很大，尤其是几何形状评定软件。相当一部分软件因质量不过关而导致用户对坐标测量机失去了信任。英国国家物理实验室的MauriceCox先生在文中论述了坐标测量机软件质量评定和比对的三种方法。坐标测量机软件一致性的测试方法可分为如下三种：证明法、利用数学特征进行自评价法以及用参考数据组（软件规）进行测试的所谓黑匣子法。所有这些测试方法都与坐标测量机的测量能力无关。证明法是将传统的数学证明…     

I-DEASPRO在飞机模型地面振动试验中的应用

介绍MTS I-deas pro软件系统的随机和步进正弦两种不同测试方法对GA-RTEUR飞机模型的振动模态测试，并利用I-deas pro软件系统和自行研制的纯模态软件相结合，成功地解决了GARTEUR飞机模型测试中存在的密集模态识别问题。该系统已成功应用于飞机型号试验中。     

ARINC661服务器软件自动化测试的研究与实现

针对ARINC 661服务器软件测试的规模庞大、维护困难等问题,结合ARINC 661服务器软件标准部件库特点,本文提出了一种自动化测试方法,研究了自动化测试的关键技术,并完成了自动化测试工具的开发。实际测试结果表明,自动化测试方法以及自动化测试工具可以显著提高软件的测试水平,减少测试的成本。     

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

模型开发在型号软件研制中的应用研究

针对模型开发技术的技术特征,通过对模型开发方法中的模型建模、模型模拟、模型仿真及模型覆盖分析等技术的研究,结合型号软件工程实践,对模型开发在型号软件研制中的应用在体系、过程及文档方面面临的问题进行了分析,从与现有体系规范及研制过程的符合性集成、模型软件测试鉴定以及与其他软件研制方法融合等方面,提出了与型号软件研制要求相符合的基于模型的开发过程方法,并介绍了方法的应用情况和前景。     

机翼接头连接结构钉载分配影响因素研究

从工程实际出发,运用有限元法研究不同因素对某机型机翼阶梯搭接结构钉载分配比例的影响。首先综合考虑接触摩擦、螺栓预紧以及材料塑性等因素运用ABAQUS软件进行建模,计算结果通过与文献进行对比,吻合程度较好,验证了模拟方法以及钉载提取方法的正确性。之后通过控制变量,分别研究了阶梯高度、螺栓排列方式、螺栓孔边距对结构钉载分配比例以及孔边最大应力的影响,为结构的设计以及优化提供了可靠的数据分析。     

浅析环境应力筛选在型号中的应用

从电子产品在型号项目中环境应力筛选的应用现状出发,介绍了环境应力筛选的概念,分析了当前 型号研制中环境应力筛选的开展情况和存在的问题,同时通过探究温度变化速率和温度范围对温度循环筛选度 的影响、多型号多种条件整合分析以及HASS 技术的发展应用,提出了电子产品开展环境应力筛选的三种改进 方案,可以有效提高环境应力筛选的效率,具有较高的推广价值。     

软件可靠性增长测试的研究

研究、探讨了软件可靠性增长测试的基本概念及其实施过程中的若干问题,按照实际运行剖面选取测试用例、软件可靠性增长预计,以及正确收集故障数据的问题。     

灰盒测试方法在软件可靠性测试中的应用

 阐述了软件可靠性测试的概念和灰盒测试方法在软件可靠性测试中生成测试数据方面的应用,给出了方法用于可靠性测试中的工作流程,分析了其与传统的可靠性测试方法相比的优越性以及尚未解决的局限性,展望了未来的研究方向。     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

一种针对交互式软件的功能测试方法

交互式软件的功能是通过复杂的人机交互完成的,目前的功能测试常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致测试巾随意性较大,测试过程难以有序进行。针对这种情况,文章提出了一种基于数据流图的功能测试方法,依据交互式软件的需求规约和用户界面,以数据的流向来组织功能测试过程。     

黑盒测试技术方法在大气数据计算机软件测试中的应用

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以大气数据计算机软件测试为例,详细介绍了软件黑盒测试的几种方法,用黑盒测试技术来设计切实可行的测试用例。实践证明,应用黑盒测试技术在大气数据计算机软件测试中设计测试用例,提高了测试效率,发现了软件问题,取得了较好的效果。     

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

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

航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。     

一种任务规划地面站软件自动化测试框架设计

任务规划地面站软件是保障飞机安全飞行的重要软件，为解决该类软件测试时采用传统自动化测试工具测试脚本维护困难、复用率低，手工测试效率低下等问题，本文设计并提出了一种自动化测试框架。框架基于关键字驱动的思想，通过建立控件映射表，定义常用测试关键字，自动生成测试文档等设计，实现了测试用例与测试脚本的分离，使测试用例的设计、维护、复用更加灵活、简便，并能有效提高软件测试效率。     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。