详情请进入 湖南阳光电子学校 已关注：人 咨询电话：0731-85579057 微信号：yp941688, yp94168
日前,北京市科学技术奖评选工作结束,七〇六所航天中认软件测评科技(北京)有限责任公司与北京大学联合申报的"大规模跨语言代码安全检测技术及应用"项目,作为国内首个自主掌握代码安全检测领域创新成果,荣获2020年度北京市科学技术进步二等奖。航天中认技术攻关团队在软件代码安全检测技术基础上,主要承担了面向航空航天等多个领域的定制开发,并在军用装备、轨道交通、电力能源等领域开展关键系统测评服务。
此次荣获北京市科学技术进步二等奖,依托了航天中认多年在航天领域测试实践中的技术能力和创新能力。本次项目开展过程中项目攻关团队从大规模程序分析关键技术攻关、重大工程任务试点、代码安全质量保障等方面均获得显著成果。
瞄准"卡脖子"关键技术
建立自主掌握的软件质量及安全保障体系
软件代码安全检测技术是保障软件安全的重要手段,传统的代码分析技术,在进行大规模代码检测时会发生状态爆炸,在计算资源和计算效率的约束下,分析精度受到严重制约,导致软件风险难以有效控制。软件安全检测技术已经成为影响我国软件质量和安全的关键技术。针对大规模程序分析状态爆炸的根本性计算难题,项目攻关团队提出了基于程序复杂度的自适应分析方法,实现了检测精度和效率的有机平衡,检测效率达到150万行代码每小时,误漏报率控制在30%以下。形成了具有自主知识产权、独具特色的技术体系,技术成果在检测效率和精度等方面达到国际先进水平。
为多项国家重大工程保驾护航
通过多年的技术深耕,航天中认已将该项技术成果成功应用于多项重大工程任务中,在航空航天、军工、金融、电信等领域得到广泛应用,发现了超过39万个缺陷漏洞,缺陷密度为平均6.98个/千行,预计节约总成本为19.6亿元。航天中认团队聚焦软件代码安全检测技术在航空航天领域的漏洞挖掘,持续开展深入研究,解决了航天软件静态代码分析技术固有的高误报缺陷的问题,设计了基于动静结合的缺陷自动验证机制,构建了基于跨模态多粒度代码语义表示的缺陷自动分类模型。该成果已获得5项授权发明专利、18项软件著作权,发表论文40余篇。
解决代码安全质量保障关键问题
本次项目研发成果增强了国内软件安全服务的硬实力,已成为软件产业链的重要组成部分,服务于软件开发、系统验证和漏洞发现利用。经比较分析,整体检测能力达到了国际先进水平,具有显著的经济、社会效益和推广价值,航天中认已利用大规模跨语言代码安全检测技术,为航空航天、 船舶、兵器、电子、核能、电信、电力、轨道交通、互联网、金融、政府等多个安全关键领域提供质量保障。
本项目解决的软件代码安全检测关键技术,为构建我国自主掌握的安全检测生态系统,提供了有力保障。今后航天中认将持续加强在多领域的专业测评技术研究、以及相应的技术和手段创新工作,为构建自主、安全、可控的测评验证环境不断努力。
，摩托车维修，雅马哈8000左右的摩托，国产摩托车排行榜，摩托车托运公司，2万左右高颜值的摩托车，大功率摩托车视频大全，世界摩托车锦标赛官网，世界摩托车大奖赛视频，本田摩托官网报价，1万左右的摩托车跑车，急卖雅马哈125摩托车，一万五以内最好的街车，专业卖摩托车的app，2019新款太子摩托车，大飙车视频，交警拍卖摩托车网站，国产太子摩托车排名，世界摩托车锦标赛官网，最便宜的踏板摩托车多少钱，交警扣押摩托车出售，摩托之家官网，一万以内最好的踏板，七八千的街车，1万入门级摩托车，摩托车夜间飙车视频，2万的摩托，2019国内上市侉子摩托，2万以内的街车，附近二手摩托车500元，2019国内上市侉子摩托，本田摩托官网报价，摩托车铝合金三箱排名，2019年十大热销的踏板摩托车，2019摩托车报价及图片大全，一万五左右的街车，国产太子摩托车排名，摩托车跑车比赛视频欣赏，摩托车跑车比赛视频欣赏，2019国内上市侉子摩托，本田摩托官网报价，国产摩托车排行榜，一万左右的重机车，进藏十大摩托，一万左右的重机车，3万以内的重机车，雅马哈2019新款125踏板，摩托600c赛车视频，交警拍卖摩托车网站，世界摩托车锦标赛官网，有斗门牌摩托车转让，机车官网报价，最帅街车十大排行榜，雅马哈tzm150历史，2019入门级街车推荐，摩托车夜间飙车视频，2万左右的重机车，8000摩托车推荐，一万左右的重机车，交警扣押摩托车出售，预算五千的街车。乌兰浩特市电工培训学校，乌兰浩特市电工培训班，乌兰浩特市电工学校，乌兰浩特市学电工的学校，乌兰浩特市电工培训哪里好，乌兰浩特市电工培训学校，乌兰浩特市电工短期培训班，乌兰浩特市电工培训学校地址，乌兰浩特市学电工培训，乌兰浩特市电工培训哪里好，乌兰浩特市电工培训班，乌兰浩特市电工技术培训.(编辑:hnygdzxx888)
(整理：乌兰浩特市电工培训学校)
湖南阳光电子学校教学特色
