基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

基于共享内存的数据交换技术及其在ATE测控程序开发中的应用

以LabWindows/CⅥ为基础,介绍了基于共享内存的数据交换技术及其在测控软件开发过程中的应用.实践证明,利用这些方法可以大大提高测控软件的开发效率,降低因程序错误而导致的ATE硬件及UUT损坏的可能性.     

标准压力源自校准方法探讨

当前以压力传感器为一次仪表组成的标准压力源,用软件实现自校准既可提高校准效率,又能提高仪器的性价比.对标准压力源的软件自校准方法进行了探讨.     

软件可靠性预计方法研究及实现

软件可靠性评估可以估计和预计软件可靠性水平.为了解决软件可靠性预计过程中存在的问题,提出了一种软件可靠性预计方法.该方法通过分析和改进模型的预计质量来选择模型进行预计,对模型预计质量的分析使用了U图、Y图和对数PLR图,再标定法和组合法被用于改进模型的预计质量.在该方法的基础上开发了软件可靠性分析工具,此工具可以进行多种软件可靠性模型的原始预计、预计质量分析和改进原始模型的预计质量.     

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

面向RT软件测试数据自动生成的输入变量分析

为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题,提出了约功能的概念,对输入变量按照实时特性和取值特性进行了分类,探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法,建立了描述输入变量的模型,并给出一个实例,展示分析输入变量的方法.     

软件GNSS信号模拟器架构与中频信号生成

软件GNSS(Global Navigation Satellite Systems)信号模拟器对于GNSS接收机的高效研发将做出重要贡献,因其结构灵活、开放性以及低成本.以GPS/Galileo组合系统为例,讨论了软件GNSS中频信号模拟器的架构,主要功能模块包括卫星星座仿真、接收机轨迹生成、传播通道特性仿真(包括电离层模型、对流层模型、多径模型等)、数字中频信号生成.在此基础上,着重阐述了数字中频信号生成模块的实现,功率谱图及分析结果验证了所生成的信号,包括GPS L1 C/A,Galileo E1 CBOC(Composite Binary Offset Carrier),Galileo E5a和E5b信号.     

飞越转弯衔接TF、CF航段保护区算法分析

飞越转弯是基于性能导航中非常重要的一种飞行方式,TF、CF航段是飞越转弯后可选的衔接方式。通过应用风螺旋精确计算方法,可以自动化地实现飞越转弯保护区衔接TF、CF航段的绘制,为飞行程序保护区的自动化处理提供详实的理论依据。     

起飞一发失效应急程序设计难点的研究分析

随着航空运输业的不断发展,起飞性能的经济性变得更加突出,制定起飞一发失效应急程序具有安全和效益两方面的重要意义。通过对起飞一发失效应急程序的基本概念和意义的分析,结合工作实际,重点对实际设计中的难点和要点进行了较为深入的分析研究,包括障碍物的选取和分析、决策点的确定和分析、转弯策略的选取和分析等问题,其中转弯时爬升梯度损失的计算、转弯速度的确定、风的修正等技术性问题是从实践中总结归纳出来的,特别是对决策点的确定、飞行轨迹的模拟、飞行轨迹与地形图的叠加、转弯策略的选取、风的修正等问题提出了解决方法。     

美国侦察卫星军事应用系统体系结构探讨

根据美军C^4ISR体系结构框架中对体系结构的定义，提出了侦察卫星军事应用系统体系结构的概念。从美军侦察卫星军事应用系统之间关系这个方面，探讨了侦察卫星军事应用系统体系结构。分析了卫星军事应用系统体系结构基本概念；描述了基于侦察卫星军事应用系统的作战程序；对侦察卫星军事应用系统进行了分类，并依据美军现有侦察卫星军事应用系统，结合作战程序，探讨了侦察卫星军事应用系统之间关系。