基于修正条件判定覆盖的软件测试技术研究和方法应用

对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。     

虚拟仪器技术在捷联惯导系统软件测试中的应用

介绍了一种采用虚拟仪器技术设计的综合控制显示系统仿真器，并将该仿真器应用于捷联惯导软件的测试。该仿真器不仅可以让测试人员实时观测系统数据，同时也能验证系统的底层通讯功能，而且可以为以后整个系统的联试作为一个比较基准。该仿真器已应用于国内某型捷联惯性导航系统的软件测试中。     

面向实时嵌入式机载软件的测试技术研究

对实时嵌入式机载软件的测试方法进行了研究，针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点提出一个适用于实时嵌入式机载系统的REAST软件测试模型，并对该模型实现中的四个核心技术进行了简要的阐明．最后，介绍了以上软件测试方法在实际工程项目中的应用情况．     

软件测试—提高软件可靠性的关键手段

本文介绍了提高软件可靠性的关键手段，即软件测试。详细论述了软件测试管理系统、测试用例的自动生成以及一些软件测试工具。     

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

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

NASDA对CCSDS文档传输协议（CFDP）的研究—关于现有研究活动和未来应用计划

日本宇宙事业开发团 (NASAD)对CCSDS文档传输协议 (CFDP)进行了研究。从 1 998年初开始 ,NASDA一直参与并支持CCSDS 1F小组的文档传输协议研究。作为CCSDS研究活动的一部分 ,NASDA进行了一系列由NEC东芝空间系统公司支持的CFDP实现活动。对CFDP的研究有两个目的 :一是作为CCSDS的成员机构对CCSDS的标准化进程做出贡献 ;二是在空间与地面数据系统中建立文档传输和处理方式。NASDACFDP软件已经对CCSDS做出了贡献 ,该软件与其他空间局开发的软件一起用于评估CFDP指标。NASDA开发了两种测试工具。一种是用于空…     

修正的条件/判定覆盖相关的问题

通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC。同时指出汇编语言程序同样需要考虑MC/-DC问题,提出MC/DC分析发现问题的方式,以及对问题的处理建议。     

旋极公司和空间中心联合举办“探月项目软件测试培训”

2004年7月9日，旋极公司和中国科学院空间科学与应用研究中心(简称空间中心)在北京科技大学逸夫楼联合主办的为期一周的“探月项目软件测试”培训圆满结束。     

基于正交试验法的故障诊断软件测试方法

针对故障诊断软件代码量大、推理规则多及测试耗时大的问题,提出了基于正交试验法提取有代表性推理规则的测试方法。分析了故障诊断软件的需求特性,介绍了正交试验法的理论依据,阐述了使用正交试验法在故障诊断软件测试中提取代表性推理规则的方法,并说明了根据提取出来的推理规则进行测试用例设计的思路和具体实施效果。