中科院空间软件评测中心--中国科学院空间应用工程与技术中心

中科院空间软件评测中心

发布时间：2019-02-01|【大中小】

　　中科院空间软件评测中心依托系统测试研究室，主要承担载人航天工程等型号任务高等级软件第三方评测、系统集成和测试任务。空间软件评测中心是首批获得载人航天工程软件评测资质的单位之一，2008年通过GJB2725A军用软件测评实验室资质审查，2013年获得空间科学卫星工程软件评测资质，2014年首批获得载人航天工程FPGA软件评测资质，2015年通过国家认可委的CNAS/DiLAC实验室认可。中科院空间软件评测中心可提供的服务包括：

　　研究室已承担包括载人航天工程神舟飞船系列任务、天宫任务、货运飞船任务、高分专项等十余个军工航天型号软件和系统测试工作，其中软件评测项目80余个，评测代码总量超过150万行，集成测试载荷设备超过200台套。团队先后荣获全军科技进步奖4项，测试效果和技术创新性得到总体单位和领域专家的认可。

　　依托技术创新和工程实践，研究室研制了有效载荷集成测试系统、高可靠软件第三方评测平台、高性能FPGA综合验证平台、总控和专用集成测试设备、各类电接口信号级仿真测试前端、各类复杂执行机构仿真设备等平台和设备50余台套。其中软件评测中心拥有静态测试工具、动态测试工具、仿真测试工具等多个大类，近40套各类专业测试工具。

　　目前可提供DSP、FPGA、X86等多种处理器平台的高可靠软件系统评测、多载荷复杂系统半实物仿真测试、高可靠系统开发咨询等测试相关业务。

　　研究室目前有正式职工26名，90%为硕士及以上学历，平均年龄27岁，团队气氛融洽，技术攻关能力强，有志于把研究室打造成可服务航天、军用工程任务的具有国内领先水平的大型系统集成和测试中心。

　　——软件评测服务

　　可为各类航空航天、军用软件及其他高可靠工程项目提供独立第三方评测和质量保障服务；

　　——仿真测试系统和测试设备提供

　　可提供稳定的仿真测试系统，以及1553B、1394、USB、RS422、LVDS等多种接口协议仿真测试设备；

　　——测试技术咨询

　　可提供软件工程化和测试技术的专业培训，可针对各类项目提供质量保障专业咨询等。

　　现有软硬件设施

序号	类别	简述	内容	业务支撑
1	静态分析工具	可对多种语言编写的代码进行静态分析及代码审查	Testbed (汇编/C/C++))基本套件、TBRun、C++ Test、Polyspace等	？可支持对汇编、C，C++、JAVA等语言编写软件的综合测试　　？可支持的宿主芯片类型覆盖DSP、X86、ARM、AT697等；　　？可支持单元测试、部件测试、配置项测试、软件系统测试　　？可完成源码、目标码的覆盖率测试；
2	动态测试工具	对对多种处理器平台的系统和软件实施黑盒、白盒、灰盒测试，同时可进行覆盖率收集和内存分析等	RTInsight(C/C++)、CuttleITE、Cantata for C/C++、System Verify等
3	FPGA测试工具	可对高可靠FPGA系统实施板级和仿真测试	Mentor Questasim、Advantest ATE、VCS、Active HDL、HES、Vtran、Formality、HDL Designer、Mentor 0_in、PrimeTime、Mentor Seamless等	？可支持Verilog、VHDL语言开发FPGA的静态时序分析和代码审查；　　？可对高可靠FPGA逻辑实施高精度物理测试；　　？可支持FPGA逻辑时序覆盖测试；　　？可支持FPGA多时钟域分析和覆盖率统计；
4	测试管理工具	可对测试全过程进行规范化统一管理；	TP-Manager、IBM Rational Quality Manager、T-VEC、RTCase等	？可进行测试流程的自定义及灵活部署；　　？可实现软件需求的建模、验证和分析设计
5	虚拟化仿真工具	可对实物、半实物进行仿真，支持典型故障注入测试	VirtualTech Simics、VisualSim、Aldec HES硬件板、Trace 32、卫星软件动力学仿真测试平台、航天无刷电机仿真测试平台等	？可支持进行电子学级仿真验证；　　？可对DSP64xx等处理器实现行为级仿真；　　？可支持卫星姿轨控等动力学算法的仿真测试；　　？可支持控制电机等机电执行机构的仿真测试；

附件下载：