基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

等离子体诊断中扫描电压源的研制

详细叙述了扫描电压源的硬件和软件组成,并通过采用PCI-6251数据采集卡、PA93功率放大电路和虚拟仪器软件LabVIEW及工控机相结合, 突破了关键技术,成功研制了一套扫描电压源并应用于等离子体诊断,使整个测试过程非常快, 可以在秒级的时间内完成, 相对于手动测试,该实验得到的数据更为精确, 实时获得了等离子体的伏安(I-V)特性曲线和数据处理结果。     

基于DO-178C的机载软件质量保证与管理

DO-178C 作为机载软件适航可接受的符合性标准,明确要求机载软件综合过程中必须包含软件质量保证（SQA）过程。以机载软件的软件生命周期定义、过程和数据为基础,从目标、活动和符合性评审三个方面分析基于DO-178C 的软件质量保证过程的实施;结合软件项目质量管理技术和工具,从规划软件质量管理、管理软件质量和控制软件质量三个过程研究基于DO-178C 的软件质量管理方法并给出工程实践建议。结果表明：本文将软件质量保证与质量管理紧密结合,形成了适航要求的相关证据,提供了符合需求的民用机载软件,有效保证了机载软件的质量和持续改进措施。     

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。     

一种间断照射雷达信号的调制参数测试方法研究

针对间断照射雷达信号调制参数测量问题,提出了基于FSW频谱分析仪和软件无线电技术测量的方法。通过分析间断照射雷达信号的特性,给出间断照射雷达信号调制参数测试方案,解决现场调制参数、编码特性等快速测试问题。     

计量测试软件验证方法研究

在分析计量测试软件的软件测评与计量验证区别的基础上,应用软件测试的基本原理,提出了计量测试软件的计量验证方法。应用提出的方法对铂、铜热电阻自动检定软件系统进行了计量验证,并对存在的问题进行了讨论。     

硬实时系统中自适应反馈软件容错动态调度算法研究

在飞行控制等硬实时系统中由于任务超时完成将会给系统运行带来灾难性后果,而现有软件容错调度算法在处理机利用率较高时,成功执行主任务所占时间比率下降,针对此提出自适应反馈容错动态调度算法,此算法在经典软件容错调度算法BCE(Basic CAT EIT)的基础上,引入反馈调度机制,形成Feedback BCE调度算法。该算法在运行过程中定期监测处理机利用率,将实际处理机利用率与预期值进行比较,根据比较结果调整对任务集的调度。实验表明,相对于其他同类算法,自适应反馈软件容错调度算法有效降低了浪费的CPU时间片数量,提高了成功执行主任务所占时间比率,有效降低了因处理机超载而引起的主任务丢失率。
     

Pulse振动测试软件的后续开发

为了解决振动计量测试后,人工处理大量数据的难题,利用Pulse LabShop软件的OLE控件,通过Matlab编程,实现测试数据自动调取和分析,并自动生成原始记录和报告。经一年的使用表明,软件能批量自动准确地处理数据,节约了大量时间,并为采用Pulse LabShop软件测试产生的数据,提供了后续处理的解决方案。     

面向对象软件在工具辅助下确认测试的方法与实践

以某一型号综合测试管理软件的确认测试为例 ,阐述了在TESTBED软件测试工具辅助下 ,对面向对象的软件进行确认测试的实践活动     

测试发射控制软件确认测试环境的实现

测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现