一种新的软件测试过程模型—“跑道”模型

软件的测试过程模型在软件的开发过程中起着重要的指导作用,其实施效果的好坏能够直接影响软件的质量,通过分析一些典型的测试模型如X模型、W模型、V模型等的特点和不足,结合软件开发实际需求和软件测试过程模型的设计原则,提出了一种改进的软件测试过程模型——“跑道”模型,该模型能体现出设计与测试的全过程,强调了客户、设计人员和测试人员之间互动的必要性,将该模型应用到智能电表与计量终端软件的开发过程中,在提高软件测试效率、保证软件质量方面有着明显优势。     

基于质量树的GPS电文质量评估方法

从导航电文中及时、准确地计算出电文参数,是导航接收机的核心功能,不同电文参数解算软件由于设计差异,解算电文参数质量也存在差异,电文数据质量也会影响电文参数结果;针对此问题,在传统数据质量模型的基础上,引入质量树分析方法,建立了评估导航电文质量的质量树模型;模型从电文完整性、电文一致性、电文正确性以及电文时效性等4个特性出发,每个质量特性均建立了专属子特性,以及量化子特性的数据指标;在此基础上,以GPS电文质量评估为例,开发了GPS电文质量评估软件,采用GPS接收机的实测数据对模型和软件进行了验证;结果表明,该软件能够发现GPS电文的异常数据,包括数据不完整、数据不一致、数据不正确、数据超时等,处理结果可用于改进电文参数解算算法,提高电文参数解算软件的可靠性。     

转发式北斗导航卫星信号性能评估的研究与实现

北斗一代在使用过程中存在隐蔽性不良,定位实时性差等问题,为了实现北斗导航信号的性能评估,相对于以往的硬件形式,如硬件接收机、频谱分析仪、矢量网络分析仪等,提出了以软件接收机的方法对北斗导航信号进行性能评估。首先分析了转发式北斗导航信号评估的意义、内容与方法,并采用软件接收机的形式进行评估;然后研究了转发式北斗导航的信号性能评估关键技术,给出了捕获、跟踪、评估参数计算的程序流程;最后根据实测数据在Linux高性能集群系统上进行了测试验证,实现了北斗导航信号的捕获、跟踪以及评估中的评估参数计算。测试结果表明,文章中的设计方法可实现北斗导航信号性能的评估,效果良好,评估内容、指标易于调整,便于软件算法参数的测试、升级,可为后续的卫星导航信号评估以及算法测试等提供了一定的依据。     

面向航天型号软件缺陷预测的属性选择方法

针对当前航天型号软件模块故障预测中度量属性过多而影响分类模型效率、准确率和数据收集困难的问题,以NASA公布的MDP数据集为基础,设计了基于Logistic回归模型的属性选择算法;通过该算法在6个数据集上的应用选择了对航天型号软件质量影响较大的4个属性,并将其在12个软件中进行验证,说明了该算法的有效性,选择的4个度量属性可为当前航天型号软件的度量提供参考和依据。     

基于Vega的红外仿真的优化和评估

借助于三维实时视景仿真软件Vega的红外模块研究了自建模型的红外效应。介绍了红外仿真原理,给出了详细的红外仿真流程,并详细分析了仿真结果。根据项目对仿真精度的要求,提出了优化仿真过程的方法。结合Vega的底层映射机理提出更为精确的长波波段下的辐射量灰度映射关系,同时通过TMM的纹理材质映射关系改进,得到更为符合实际的材质反射率计算公式,并为仿真系统重建了传感器模型,使得仿真模型的辐射量偏差缩小为1.145%~3.358%。此外,初步探讨了仿真系统的校核、验证和确认技术（VV&;A）,并对仿真过程做了全生命周期的可信性评估,为进一步研究仿真系统的可信性评估提供了参考。     

一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

一组1553B总线网络可靠性评估模型研究

在工程中,数据网络结构往往决定了数据传输的网络可靠性;比如,若干节点的1553B总线可以设计为1个BC和多个RT的单层总线结构,也可以设计为双层BC-RT的总线结构;因此,如何比较这两种设计的网络可靠性高低成为关键问题;为了解决这一问题,文中以上述总线结构设计问题为切入点,结合容斥原理和总线网络结构的特点,提出一组网络可靠性评估模型,并通过这组模型对单层和双层1553B总线结构的网络可靠性进行评估、比较和分析,为工程中网络可靠性评估模型的选择和使用提供指导,为总线网络结构设计合理性的定量分析提供数据支撑,同时为网络可靠性设计要求的满足提供理论依据;最后,文中对总线设计网络可靠性问题研究的发展趋势进行讨论。     

激光陀螺滤波评估方法研究

在现有硬件的基础上,通过滤波等软件算法来提高激光陀螺捷联惯导系统对准和导航精度是目前国内外学者所公认的。为了对激光陀螺滤波前后的效果进行准确、定量的评估,设计了Allan方差分析算法,开发了对准-导航及精度分析评估软件,分别从元件级、系统级对其展开了研究,并结合具体激光陀螺捷联惯导设备对其进行了实验验证。     

FPGA中信号可靠性设计的方法研究

对FPGA程序设计中存在的信号抖动、相位差异以及在模块继承时不同时钟域引起的软件异常等可靠性设计问题,将目前常用的信号抖动抑制及判断方法进行了分析总结,提出了几种新的FPGA内部的信号处理方法;通过实验验证,这些方法对不同脉冲宽度、不同突发频率的随机干扰,能够进行有效抑制;通过合理降频、例化原语等方法优化软件设计,提高了FPGA输出信号的完整性和可靠性;在航天、航空和工业控制领域中,有效地解决了软件系统的可靠性问题,为建立可靠性高、运行稳定的软件系统创造了条件。     

电视经纬仪复杂多目标图像处理软件系统的设计与实现

基于CCD电视经纬仪交会测量原理,分析了复杂多目标的特性和软件系统设计中图像处理与目标识别的难点和重点,采用面向对象技术,设计并实现了具有多态性的图像处理相关算法类.从软件工程化的角度评价了该软件系统用户界面的人机交互性,同时通过对系统失效模式的分类,给出了实际系统失效率的统计值.实测结果表明:该图像处理软件具有稳定、适用、有效等优点,对相关图像处理软件系统的设计和实现有一定的参考价值.