嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

遥测数据仿真系统的设计和实现

针对遥测数据种类的多样性和处理方法的复杂性给软件测试带来的问题,对遥测系统基本工作原理、遥测格式、遥测处理方法进行了深入研究,设计和实现了一个适合不同遥测系统评测的遥测数据仿真模型。该模型的设计和实现使测试软件具备良好的可扩展性和可重用性,缩短了软件测试周期。     

数字校正网络动态特性的软件测试方法

为检验数字校正网络软件实现的正确性,本文给出了一种利用数学方法实现对网络频率特性进行软件测试的方法,并对该方法进行了详细的理论分析,在此基础上进行了某型号软件的频率特性测试,结果表明,该方法避免了硬件测试的繁琐工作及不稳定性,且不受硬件条件及环境限制,具有实用价值。     

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

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

航天测控软件测试过程新模型的应用研究

对几种传统的软件测试过程模型进行分析和比较,结合航天测控软件的特点,提出蝴蝶模型的软件测试新模型,对基于蝴蝶模型的航天测控软件测试过程进行探索和研究,旨在提高软件开发的质量和软件测试的效率.     

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

编队信息融合软件测试

介绍了依据软件测试技术理论,结合编队信息融合软件的具体情况,对其进行自动化测试系统设计,尤其是新开发了一套规范的而向对象的想定描述语言和可以独立于测试系统的测试用例,最后对测试的实施作了介绍.