安全关键软件第三方测评能力工业和信息化部 [复制链接]

北京计算机技术及应用研究所

北京计算机技术及应用研究所拥有国家高端装备和智能制造软件质量监督检验中心、国防科技工业软件测试与评价实验室、航天软件评测中心，是GJBB标准的主要编制单位。具有20多年国防装备、航空航天装备的软件工程经验和国内领先的软件第三方测评能力。具有软件静态分析、动态测试、FPGA检测、信息安全测试和各类仿真测试条件，具备嵌入式软件4种级别、19种测试类型能力，非嵌入式软件的3种级别、19种测试类型能力，是国内软件检测条件最为完善的机构；已对以载人航天工程和高新工程为代表的几十个重要装备的数千个安全关键软件进行了独立评测，发现了近万个可能导致关键装备试验失败的软件缺陷，有效保证了安全关键软件质量和可靠性。

（1）具备完整的软件测评覆盖能力，支持软件单元测试、集成测试、配置项测试、系统级测试；支持国产基础软件测试、大规模FPGA测试、IP核验证；

（2）具备高效的测试服务能力，支持测试项目精细化管理、测试项目定量度量，具备年代码规模千万行以上的测试能力；

（3）具备全面的独立验证和确认能力，具备健全的测试质量管理体系、培训体系、标准的测试工具集和测试知识资产库。支持软件测试产品保证与过程保证并重，可实现安全关键软件全面的独立验证和确认；

（4）具备多领域的测试服务能力，包括以航天、航空、电子为代表的*工领域和以核电、高铁、智能电网为代表的民用高端装备和智能制造领域等；

（5）具备覆盖全国的服务网络和在线测试能力。

技术服务

服务于航天重大工程和航空航天装备、国防科技工业领域相关软件质量检验与监督评价，包括软件第三方测试、定型测评、能力评估等。服务于先进轨道交通装备、智能电网与核电装备、海洋工程装备及高技术船舶、新能源汽车（智能汽车）、高端诊疗设备中高安全高可靠软件，以及高档数控机床、机器人、智能生产线等智能制造领域相关软件的质量监督与检测。

批量生产、成熟应用阶段

年均营业收入4亿元以上。

付修锋-。