您当前的位置: 区块链圈 > 科技 > 2020年度北京市科学技术奖项揭晓,七〇六所航天中认公司榜上有名

2020年度北京市科学技术奖项揭晓,七〇六所航天中认公司榜上有名

发布日期:2021-10-28

近日,在2021中关村论坛上,2020年度北京市科学技术奖项正式揭晓,共包括一等奖35项,二等奖69项。七〇六所航天中认公司报送的“大规模跨语言代码安全检测技术及应用”项目喜获2020年度北京市科学技术进步二等奖。

伴随新一代信息技术加速渗透到经济和社会生活的各个领域,“软件定义一切”成为必然,软件产业呈现出网络化、服务化、平台化、融合化新趋势。以软件为核心的数字化智能化系统直接影响到各行各业的质量与安全,而软件代码安全检测技术是其中保障软件安全的重要手段,已经成为影响我国软件质量和安全的关键技术。

传统的代码分析技术,在进行大规模代码检测时会发生状态爆炸,在计算资源和计算效率的约束下,分析精度受到严重制约,致使软件风险难以有效控制。七〇六所航天中认公司瞄准“卡脖子”关键技术,针对大规模程序分析状态爆炸的根本性计算难题,提出了基于程序复杂度的自适应分析方法,实现了检测精度和效率的有机平衡,检测效率达到150万行代码每小时,误漏报率控制在30以下,形成了具有自主知识产权、独具特色的技术体系,技术成果在检测效率和精度等方面达到国际先进水平。

未来,七〇六所航天中认公司将继续完整、准确、全面贯彻新发展理念,秉承追求真理、勇攀高峰的科学精神,积极投身检测检验认证行业(TIC行业)的科技创新,努力实现原始创新重大突破,攻克关键核心技术,推动科技成果转化应用,为行业的高质量发展做出更大贡献,为国家科技自立自强贡献航天力量。