日前,北京市科学技术奖评选工作结束,七 六所航天中认软件测评科技(北京)有限责任公司与北京大学联合申报的"大规模跨语言代码安全检测技术及应用"项目,作为国内首个自主掌握代码安全检测领域创新成果,荣获2020年度北京市科学技术进步二等奖。航天中认技术攻关团队在软件代码安全检测技术基础上,主要承担了面向航空航天等多个领域的定制开发,并在军用装备、轨道交通、电力能源等领域开展关键系统测评服务。
此次荣获北京市科学技术进步二等奖,依托了航天中认多年在航天领域测试实践中的技术能力和创新能力。本次项目开展过程中项目攻关团队从大规模程序分析关键技术攻关、重大工程任务试点、代码安全质量保障等方面均获得显著成果。