Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

CNC数控系统控制软件

本文分析了数控机床控制系统,由硬件NC(Numerical Contro1)向CNC(ComputerNumerical Control)转变时进给速度下降的问题,阐述了解决此问题的一种方法——二次插补方法。指出CNC数控系统是个多重中断系统,论述了将数控的工作按其重要的程度、实时性的高低,安排在不同的优先级,使整个系统协调工作的思想。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成,研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口,有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口,将不同工具的数据集成抽象成统一的公共接口,从而采用统一的数据接口和...     

航空发动机组件化建模技术

提出了使用组件化开发通用航空发动机仿真平台的思想:从发动机结构的角度将发动机模型分解成多个组件;从软件功能的角度将仿真软件的辅助部分也分解成多个组件.在此基础上开发了涡扇发动机的仿真平台,取得了良好的效果.所建立的仿真系统实现了模块化、层次化,易于维护和改进,可扩展性强,提高了代码重用率,体现了该框架的灵活性.      

二维翼型结冰数值计算

翼型结冰计算是随着结冰时间步长变化的准定常过程,因此在每个时间步长后都要更新各个模块的计算工作,如此反复直到达总结冰计算时间.在各模块计算中,分别采用了泊松方程法生成网格、求解雷诺时均方程计算流场、拉格朗日追踪法求解水滴轨迹、基于Messinger模型计算冰形、采用变距滤点法重构边界.引入动态链接库技术将各模块集成为结冰计算平台,并将三种冰形(楔形冰、槽状冰及混合冰)计算结果与国外软件及试验数据进行了对比.      

参数估计对激光脉冲法热损失修正的计算及验证

描述了参数估计在激光脉冲法测量热扩散率中应用的基本原理,研究了试验过程中热损失对试样背面温升的影响,计算了热扩散率、热损失系数和能量系数的敏感性系数,依据单纯形搜索法原理,采用MATLAB软件对试验数据进行了参数估计运算,并验证其可行性.     

民用飞机气动工程估算软件设计与开发

工程估算是飞机概念设计阶段常用的气动力计算方法,其计算效率高,并且满足飞机概念设计的精度要求。工程估算过程涉及大量的图表查阅与数据插值,传统的手动计算存在工作量与人为误差较大的缺点。针对上述问题,在已有工程估算方法的基础上,搭建了气动工程估算数据库,提出了软件的系统架构与组成,设计并开发了基于民用飞机的气动估算软件。软件具有良好图形用户界面,提供了多种输入方式与自动多维插值算法,与手动计算相比,减少了计算工作量,提高了计算效率和精度。以某大型民用飞机为对象,利用软件进行气动工程估算,并与算例的计算流体力学法(CFD)结果进行比较。结果表明:二者结果基本相符,而且计算成本远低于CFD方法。这体现了软件在民机概念设计阶段具有较高的工程实用性。     

基于QFD和TRIZ的可信软件技术冲突解决方法

为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法.首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决...     

三坐标测量机系统误差软件补偿方法的研究

在三坐标测量机系统误差各种补偿方法的分析基础上,着重分析研究了系统误差合成法的软件补偿方法;建立了系统误差的数学模型;展示了该方法在产品中的应用效果。文章最后提出了系统误差软件补偿方法的发展方向。