钟浩
- 作品数：4 被引量：7H指数：2
- 供职机构：北京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 软件库函数时序规约挖掘与推荐研究
- 由于软件库能够给软件开发带来便利，复用软件库已成为软件复用的一种重要的途径。为了帮助程序员正确地使用软件库，大多数软件库均提供在线文档，有的软件库提供指导软件库使用的书籍，有些软件库还提供专门的论坛以供讨论其用法。软件库...
- 钟浩
- 关键词：软件开发软件库
- 基于开源生态的网构化软件开发原理和方法
- 金芝马晓星赵建军张路张伟胡振江吴国全曹建农焦文品周明辉许畅黄宇沈备军陈雨亭钟浩
- 互联网的不断发展为软件生产和应用模式带来了变革性的影响，产生了群体化、开放性、生长式的新型软件生产模式，也孕育了对人-机-物互联的新型应用模式的需求。该项目以开源软件生态这种新型软件开发模式为基础，面向“人-机-物”融合...
- 关键词：
- 关键词：软件开发互联网
- 一个可半自动化扩展的静态代码缺陷分析工具被引量：3
- 2011年
- 基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力.针对这一问题,作者提出了一个"可半自动化扩展"的代码缺陷静态分析方法,设计并实现了一个支持该方法的工具——CODA(COde Defect Analysis tool).CODA不仅提供了"缺陷模式描述模板"以帮助用户快速地手工扩充缺陷模式库,还能在用户的指导下半自动化地挖掘新缺陷模式以快速扩充其缺陷模式库.一旦新的缺陷模式被定义并添加至缺陷模式库中,CODA便能自动具有针对该类缺陷的检测能力.
- 梁广泰孟娜李进辉钟浩张路王千祥
- 软件库调用规约挖掘被引量：4
- 2011年
- 软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特殊的角色.但是,受制于编写规约的巨大代价,软件库通常并不提供已编写好的调用规约.为此,研究者提出了各种自动挖掘此种规约的方法.阐述了其中代表性的方法及其最新的研究进展,并在此基础上探讨了将来的研究方向.
- 钟浩张路梅宏
