软件测试典型案例的研究及思考

软件测试是软件能力成熟度模型集成的重要活动,通过对软件测试典型问题的分析和研究,提出了解决方法,对软件质量的提升具有实际意义。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

航天系统软件测试的质量控制

分析了软件测试质量控制要素，并给出了提高软件测试有效性的系统方法。该方法在长征2F运载火箭故障检测处理系统软件测试项目中发挥了重要作用。     

故障模式判决软件测试用例设计

本文阐述了运用故障树分析原理进行故障模式判决软件测试用例设计的新方法，在此方法基础上，综合等价类划分方法，完成了软件测试用例辅助生成软件的设计。