最新资讯

首页 新闻中心最新资讯

《软件代码测试技术及实践》主题会议顺利召开

发布时间:2017/09/19 字号:【大 中 小】 来源:北大软件 010-61137666

917日,《软件代码测试技术及实践》主题会议在北京大学英杰交流中心顺利召开。本次会议由北京北大软件工程股份有限公司主办,易智论坛会务组、北京大学软件工程国家工程研究中心、航天中认软件测评科技(北京)有限责任公司协办,诸多软件研发及测试领域专家受邀出席。


在此次会议中,北大软件静态代码测试团队提出了代码测试生态环境的构建,为军口、民口两个方向的代码检测需求提出了较为先进的完整解决方案思路。


来自北京大学软件工程国家工程研究中心的马森博士围绕《软件代码自动化检测生态环境》问题率先开讲。马博士循序渐进、层次清晰的演讲,不仅针对软件代码自动化检测生态环境构建问题进行了明确的阐述,还对当前研究进度以及未来发展方向进行了宏观的分析。其中,源代码静态分析工具——库博CoBOT的精彩亮相引起了现场嘉宾极大的兴趣。据悉,北大软件的库博COBOT是一款基于专利技术分析引擎(能够做到检测精度与效率的平衡)开发的具有自主知识产权程序静态分析框架、综合运用了多种先进的静态分析技术的代码静态分析工具。


随着会议的推进,北京大学软件工程国家工程研究中心的高庆博士关于《源代码缺陷检测实例研究与二进制代码缺陷检测技术》的主题演讲将会议引向更深的技术维度。高博士指出在整个生态环境中其他环节的建立同样至关重要,作为国内首次突破外国技术壁垒的二进制代码缺陷检测等关键技术的研究进展分享,将本场会议引向又一个高潮。


此外,由航天软件评测中心技术负责人宋晓秋和高级工程师耿恺频带来的《软件可靠性安全性编码准则及云测试平台关键技术研究》主题演讲也为现场嘉宾们提供了不同的技术视角。


作为全场的焦点——库博CoBOT是北大软件自主知识产权的优秀产品,拥有可用户定制、更安全的检测环境、更准确的代码检测结果等多种特点,使其在构建代码测试生态环境中起到了至关重要的作用。北大软件作为北京大学控股的一家以高技术为核心的软件企业,将会在代码测试生态环境的构建中为社会带来更多优秀的产品。




关键词:代码静态分析丨静态代码丨代码检测丨程序检测丨静态检测

  • 案例简介

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

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

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

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

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

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

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

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