最新资讯

首页 新闻中心最新资讯

北大软件将携静态代码分析工具库博(CoBOT)出席TiD 2017质量竞争力大会

发布时间:2017/07/14 字号:【大 中 小】 来源:

TiD 2017质量竞争力大会于2017年7月16日-19日在北京国家会议中心召开,主题:下一代软件研发:难点与突破。全体会议主旨演讲特邀全球顶级神秘嘉宾,启迪思想,预测科技,同时各分论坛将由业内精英主讲涵盖软件研发、大数据研发、互联网研发、IT人发展等内容。届时北大软件将携静态代码分析工具库博(CoBOT)出席本次大会。


CoBOT是什么? 

CoBOT是一款基于专利技术分析引擎(能够做到检测精度与效率的平衡)开发的具有自主知识产权程序静态分析框架、综合运用了多种先进的静态分析技术的代码静态分析工具。


CoBOT的特点


CoBOT的五大看点

 编译不通过情况下检测,免去搭建复杂环境时间,国外主流工具均需编译通过 

 检测类型多:支持100+类型的CWE缺陷,1000+编码规则,检测精度国际先进水平

 完全自主知识产权:自底向上,完全自主研发,不像国内所谓"自主"由开源修改而成

 完全匹配GJB 5369、8114等编码规则,国外软件均部分匹配 ,为国产环境免费量身定做报表

 对于高危漏洞、重要语义缺陷检测,库博不惧跟任何国外产品PK,我们的技术已经是国际先进


重点提示:北大软件主题演讲

时间:7月17日 9:00—12:00  

地点:国家会议中心209AB

主题:静态程序测试技术—发展、挑战与前景

主讲人:马森、高庆


时间:7月18日 14:45-15:30

地点:国家会议中心307B

主题:基于静态分析的程序缺陷自动发现技术

主讲人:马森


  • 案例简介

    自2005年起,北大软件持续10年通过考核评价系统,向全国组织系统提供届中考核、换届考核、年度考核与一报告两评议等工作的技术支持服务。随着考核工作范围不断扩大、工作标准逐步提高、工作强度逐渐加大,工作及支持服务方式已不能满足后续考核工作要求,迫切需要改变现有工作模式,优化工作流程、减少人工投入,缩减沟通环节、提高工作效率,优化系统支撑,提高工作水平。

    领导班子和领导干部年度考核系统创新应用
  • 案例简介

    北大软件为中央直属机关单位、国资委系统、直属金融机构及北京、重庆、辽宁、吉林、新疆、西藏等省市提供服务

    中组部全国党员统计服务
  • 案例简介

    中共中央组织部领导干部考试测试平台可应用于领导干部竞争性选拔、干部培训和干部考察等工作。能够解决人为考试测评误差;异地考核时物力、人力成本过高等问题;降低试题印刷、运送、保管等工作环节中漏题、泄题的风险。

    中组部领导干部考试测试平台
  • 案例简介

    完成从传统人事管理工作模式到人力资源全业务流程、全生命周期管理的信息化模式转变;实现北京市民政局内部组织人事数据共享、业务工作协同,与相关委办局之间组织人事数据共享与协同;促进组织人事管理由粗放型向精细型、阶段型向持续型、经验型向智能型的转变,达到组织人事管理工作科学化、决策智能化。

    民生服务丨民政人力资源管理