梁广泰
- 作品数:5 被引量:7H指数:2
- 供职机构:北京大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家自然科学基金创新研究群体项目更多>>
- 相关领域:自动化与计算机技术更多>>
- CEclipse:一个基于服务组合的在线集成开发环境被引量:1
- 2013年
- 随着云计算概念的提出,越来越多的桌面应用被迁移到云中,其中桌面集成开发环境的迁移也成为近些年讨论的热点.介绍了一个在线集成开发环境CEclipse(Cloud Eclipse).CEclipse通过将桌面集成开发环境Eclipse的功能封装成服务,然后利用服务组合的技术有机地结合在一起,形成了在线集成开发环境的核心功能.同时利用程序静态分析和程序动态分析等技术,解决了在线集成开发环境中特有的安全问题.其次,为了发挥在线开发的优势,CEclipse提出了利用数据挖掘等技术来挖掘用户在编程过程中的各种行为,以指导用户更快更好地进行在线程序开发,从而增强其用户体验.除此之外,CEclipse具有良好的可扩展性:1)利用单点登录等技术支持其他已有在线服务的快速整合;2)提出了一套半自动化的方法,将Eclipse插件快速迁移到CEclipse中.
- 吴凌梁广泰王千祥
- 关键词:云计算迁移可扩展
- CODAS:一个易扩展的静态代码缺陷分析服务被引量:3
- 2012年
- 利用静态代码缺陷分析技术对软件进行早期缺陷检测,是提高软件质量的重要途径。静态代码缺陷分析工具(如FINDBUGS,JLINT,ESC/JAVA,PMD,COVERITY等)已经被证实可以成功地识别出大量的软件潜在缺陷[1-3]。然而,这类工具在可用性和有效性方面的不足严重限制了它们的进一步广泛使用。可用性不足包括a)每个独立缺陷检测工具只擅于检测特定类型的缺陷,需要配合使用才能全面检测缺陷;b)每个缺陷检测工具的安装、配置和运行占用了用户大量的时间、精力。有效性不足包括静态缺陷分析结果往往存在大量误报,并且会包括许多不重要的(不会引起程序员修复行为的)缺陷报告。为了解决上述问题,提出并构建了一个易扩展的"静态代码缺陷分析"服务(Code Defect Analysis Service,CODAS)。CODAS基于一个高度可扩展的架构设计,对多个独立的缺陷检测工具进行了封装和集成,并对缺陷检测报告进行了有效汇总和排序,从而充分发挥了各个独立工具的优势,大大提升了静态缺陷分析工具的可用性和有效性。
- 梁广泰王千祥
- 基于模式匹配的代码缺陷检测技术研究
- 静态缺陷分析在不执行程序的前提下,通过分析受检程序的源代码或目标码,对程序运行时可能表现出的异常行为进行推测,进而发现受检程序中可能存在的缺陷。 基于模式匹配的代码缺陷检测技术是近年来得到广泛使用的静态缺陷分析技术。这...
- 梁广泰
- 关键词:标记语言
- 一个可半自动化扩展的静态代码缺陷分析工具被引量:3
- 2011年
- 基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力.针对这一问题,作者提出了一个"可半自动化扩展"的代码缺陷静态分析方法,设计并实现了一个支持该方法的工具——CODA(COde Defect Analysis tool).CODA不仅提供了"缺陷模式描述模板"以帮助用户快速地手工扩充缺陷模式库,还能在用户的指导下半自动化地挖掘新缺陷模式以快速扩充其缺陷模式库.一旦新的缺陷模式被定义并添加至缺陷模式库中,CODA便能自动具有针对该类缺陷的检测能力.
- 梁广泰孟娜李进辉钟浩张路王千祥
- 一种代码处理方法、装置、设备及介质
- 本申请提供了一种代码变更方法,包括:获取当前版本的代码文件相对于基础版本的代码文件的代码变更文件,对代码变更文件包括的多个代码变更块进行分析,获得多个代码变更块之间的至少一种关联关系,利用关联关系对多个代码变更块进行分组...
- 魏昭梁广泰王千祥申博张伟
- 文献传递