基于LDRA Testbed的主机/目标机 测试方法研究

DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩引起的源代码膨胀和干扰时序的影响,并在测试环境中创建延时取回的算法以获取累积的历史记录文件,最终得到有效的动态覆盖率测试报告。从软件的健壮性和可靠性层面上有效提高机载软件的质量。     

对NASA指挥中心软件测试度量的评定

软件度量用于软件开发过程和软件产品质量的评定，在ＮＡＳＡ航天飞机指挥控制中心改造工程的测试阶段，采用了五种度量，除一种度量之外，其它度量均提供了很有用的信息，根据我们的经验，我们建议在软件开发的测试阶段使用这些度量，同时提出另外的侯选度量供进一步研究。     

航天设备嵌入式软件研制工程化实践

介绍航天设备嵌入式软件工程的研制方法和步骤 ,软件需求分析 ,软件测试方法和工具 ,软件分阶段研制的必要性 ,以及航天设备软件工程研制的经验 ,并对今后工作提出建议     

战略导弹测试发射控制系统的发展和导弹模拟器的应用

战略导弹武器系统采用了快速机动使用方式,控制系统实现了全数控方案,地面各种勤务工作的设备做到了智能化.对地面测试发射控制系统的需求发生了变化,测控系统采用了"弹测"和"地测"相结合,以地面计算机控制为主的体制,采用了分布式计算机网络结构方案,自动化测试系统在"三化"方面也有很大进展.测控系统功能扩大了,系统更为复杂,测控软件在配套设备中的份量越来越大,越显重要,测控系统自检尤其是测控软件的测试尤显突出,文中提出采用导弹模拟器解决测控系统自检和测控软件测试问题,还可作为部队模拟训练装置,提出导弹模拟器的组成和设计方法以及使用问题.     

如何设计一个易测试的软件

软件测试性设计是减少软件测试复杂性的重要手段，文中给出了软件测试性设计的分析与计算方法，并据此给出了软件测试性设计的基本原则。     

航天嵌入式软件的单元测试方法探讨

合理有效的软件测试手段对于提高航天嵌入式软件的质量具有很重要的意义。文章从单元测试的实践出发,基于软件测试理论,对单元测试的方法和过程进行了分析,并简单介绍了某型号软件的单元测试情况。     

航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

嵌入式操作系统健壮性测试技术

针对机载嵌入式操作系统健壮性测试存在的问题,通过对健壮性测试技术及典型机载嵌入式操作系统构架的研究分析,提出了一种操作系统健壮性测试的模型。实际运用表明,模型高效、可操作性强,在某操作系统软件测评过程中发挥了积极作用。     

基于CAN总线的星载软件测试系统设计

对基于CAN总线的星载软件测试系统设计进行了研究。系统硬件包括PXI工控机和CAN高速板卡,应用LabVIEW编程模拟各下位机,实现了与星载软件的通信,具有下位机的状态检测、遥测数据分析、注数数据监测和计算机内存下卸等功能。实际应用表明:该基于CAN总线的星载软件测试系统满足第三方测试要求,运行稳定可靠。