国家高技术研究发展计划(2006AA01Z176)
- 作品数：6 被引量：19H指数：3
- 相关作者：刘超金茂忠包晓露龙翔李虎更多>>
- 相关机构：北京航空航天大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 自动Java代码缺陷检测技术被引量：2
- 2010年
- 代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种"劳动力密集型"的方法,为了提高代码审查的效率,一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用.本文介绍了支持代码审查的自动化代码缺陷检测技术的相关内容.结合Java语言的特点对自动代码缺陷检测体系结构和工作的原理做了论述,并引入了缺陷模式树来提高检测的速度;最后通过具体的实验来分析了自动化代码缺陷检测的有效性和高效性.
- 薛頔金茂忠刘超
- 关键词：代码审查
- UM L顺序图的形式化定义与特性分析被引量：6
- 2010年
- 以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.
- 李晓丽龙翔包晓露李虎
- 关键词：统一建模语言顺序图形式化
- 轻量级静态分析器构造方法综述被引量：3
- 2008年
- 由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已有的轻量级静态分析器构造方法;分析了已有方法的优缺点,并指出现存的问题;最后展望了本领域研究的发展趋势。
- 郭荣锋金茂忠刘超
- C++代码缺陷自动检测工具的研究与实现被引量：5
- 2009年
- 通过编译的C++程序代码并不一定保证代码中不存在缺陷。代码中可能依然隐含了安全、设计或是风格上的缺陷,从而导致程序运行时出现内存泄露、指针误用等现象,或导致程序代码不清晰、可读性差。为了有效查找这些缺陷,探讨了可定制缺陷规则的C++代码缺陷自动检测技术,介绍了两种缺陷定位方法,给出了一种基于XPath技术的缺陷规则定制方法,设计并实现了一种代码缺陷自动检测工具CDD(C++defect detec-tor),并通过实验证明了缺陷定位方法的有效性以及CDD的易用性。
- 古可刘超金茂忠
- 关键词：抽象语法树
- 可信软件结构及代码的审查和综合评估及支持工具
- 2010年
- 随着中国软件产业和信息化建设的快速发展，软件产业呈现出多元化的趋势，各种软件产品的开发无一不迫切需要建立规范、有效的软件测试体系，以保证其软件产品的质量和开发效率。特别是对于我国正处于初创和发展阶段的大量中小型软件企业和组织，尤其迫切需要一套简明实用、价廉高效、
- 刘超
- 关键词：软件结构综合评估审查代码软件产业软件产品
- 代码与文档间关联关系的提取方法研究和改进被引量：3
- 2009年
- 在潜在语义模型的基础上融入了软件文档和程序代码的特点,提出了基于类继承关系的代码聚类、代码特征项分类加权、引入相似度词典以及基于文档类型的分类搜索这四种改进策略.实验结果表明,四种策略可以在保持查全率不变的情况下提高查准率15%左右.表明在提取代码与文档间可跟踪性链时,考虑它们的固有特点,将有助于提高检索系统的查全率和查准率.
- 赖冠辉王晓博刘超
- 关键词：信息检索逆向工程
