由海淀区高层人才发展促进会、全国工业和信息化科技成果转化联盟主办的2017年第七期信息安全关键技术交流对接会活动于2017年9月25日(星期一)在中关村鼎好大厦成功召开。本次会议由全国工业和信息化科技成果转化联盟副秘书长于娟主持,同时,邀请北京邮电大学金大海教授在软件缺陷测试、徐爱国教授分别在软件应用安全、车联网安全、工控安全、人工智能安全等关键技术进行分享。
全国工业和信息化科技成果转化联盟副秘书长于娟给我们介绍了联盟的发展史,联盟成立于2016年10月28日,由工业和信息化科技司指导,工信部电子科学技术情报研究所作为主管单位。于秘书长从联盟的四大优势资源、两项工作宗旨、四个实体中心和一个交易平台四个方面展开了对联盟的介绍。使与会人员深入了解了联盟是围绕制造业相关领域,以支撑政府、服务企业为宗旨,以促进先进、成熟、适用的科技成果推广应用和产业化为目标,强化科技成果推广转化、产业科技创新和技术进度的能力,搭建科技成果推广转化服务平台,推动工业和信息化领域重大科技成果和行业共性技术、关键技术的转移和扩散,支撑军民两用的双向转移,促进部署高校、行业科研研所与行业企业和地方省市产学研合作,为广大工业企业,高校及院所提供“一站式”成果转化中介服务,提升产业技术水平,加速产业结构调整和升级改造。通过汇聚服务需求,整合产业资源,加强相互合作,致力于提升联盟成员的群体竞争力,树立行业服务品质保障的风向标,推动工业和信息化领域科技成果转化快速发展。
北京邮电大学软件安全中心主任、北京邮电大学网络空间安全学院教授/博导、移动互联网安全技术国家工程实验室副主任徐国爱分享了北京邮电大学软件安全中心介绍,研究方向、科研成果、教学工作及合作模式几方面向我们阐述分享了中心的科研成果。
中心主要研究方向包括:移动应用安全、车联网安全、打印复印安全、工控安全和智能安全几个方向共承担项目60余项科研成果,工发表论文70余篇。获得了国家专利35项。徐教授着重分享了科研成果在实际当中的应用,案例分享促使与会者受益匪浅。
听完来自徐教授对软件中心的成果案例分享后,来自北京邮电大学的金大海教授重点分享了“基于源代码的软件测试技术”。
代码缺陷检测技术始于90年代中后期,应用在NASA、Boeing、Airbus中。缺陷检测工具:Klocwork、Coveiity、Fortify、App Scan、Logiscope、PMD、findbugs等。单元测试工具:Jtest, C/C++test, dotTEST,AgitarOne,Testbed,PureCoverage,Rational Test RealTime等。北邮从2006年开始,研发代码缺陷检测系统——DTS;从2010年开始,研发单元测试系统——CTS。得到4个863项目、2个自然科学基金项目支持。
金教授别来生面的一堂“代码缺陷检测系统”从应用技术、缺陷检测、覆盖测试到相关技术的深入讲解。小技术大应用,应用范围覆盖广泛,当真是收获良多。