国家教育部博士点基金(20092302110040)
- 作品数：6 被引量：9H指数：2
- 相关作者：苏小红马培军王甜甜王伟逄龙更多>>
- 相关机构：哈尔滨工业大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- C程序隐式规则自动提取与反例检测
- 2013年
- 提出一种通用且高效的隐式规则自动提取与反例检测方法,使用频繁闭合项集挖掘技术挖掘包含多种程序元素的编程模式,然后由编程模式产生编程规则;引入正序规则的概念,以避免从同一个编程模式中产生多个冗余规则.在此基础上,提出一种高效的反例检测算法检测违反规则的程序片段.实验结果表明,该方法能够自动提取程序中存在的隐式编程规则,并快速有效地检测违反规则的反例.
- 禹振苏小红王甜甜马培军
- 关键词：软件缺陷检测
- Multiagent系统通讯及单元可靠性综合评测
- 2011年
- 为了更准确的评测Multiagent系统可靠性,提出了将通讯可靠性、单元可靠性及系统拓扑结构都考虑在评测过程中的综合评测方法.该方法概括出Multiagent系统的结构,釆用基于马尔可夫过程的方法,分析通讯可靠性、单元可靠性等因素对集中式、分布式及联邦式Multiagent系统可靠性的影响,并给出了系统可靠性评测模型.仿真结果表明,该方法能够将复杂系统的可靠性评测问题分解为简单的形式.针对各分解后的结构进行评测,进一步得到了整个系统的可靠性.
- 郭勇马培军苏小红
- 关键词：可靠性评测
- 标识符重命名不一致性缺陷的检测被引量：4
- 2011年
- 为解决已有的克隆代码及相关缺陷检测工具无法分析大型程序代码,又不能识别经过修改了的克隆代码的问题,在改进基于频繁子序列挖掘的克隆代码检测模型基础上,提出了基于序列挖掘的C克隆代码及标识符重命名不一致性缺陷检测模型.该模型改进了已有的忘记修改某标识符缺陷检测子模型,并增加了错误修改某标识符缺陷检测子模型,通过计算标识符未改变率来检测标识符重命名不一致性缺陷.实验表明,该模型能在克隆代码检测的基础上检测克隆代码引起的相关缺陷,降低了漏检率和误检率,适用于2种标识符重命名不一致性缺陷的检测.
- 王伟苏小红马培军王甜甜
- 关键词：克隆代码软件缺陷检测
- 支持多程序语言的静态信息提取方法被引量：4
- 2011年
- 为了满足代码分析对多语言静态信息提取的需求,克服当前构建单语言提取重用率低、过程复杂等不足,采用直接修改GCC特定解析阶段源代码的方法建立统一的提取接口.针对所需静态信息的不同,按GCC内部机制,提出了运行改入点与内部辅助函数重用相结合的提取方法,具体包括类型和函数声明信息的采集、函数体内程序语句的遍历以及多语言统一中间表示的获取,重用了GCC内部高质量代码,从而降低了构建静态信息提取所需的重复开销.通过对比试验表明该方法程序语言解析能力稳定健壮且效率高,能够直接提取大型开源程序的静态信息.
- 逄龙王甜甜苏小红马培军
- 关键词：静态信息GCC编译器
- 基于K-最近邻的C克隆代码重构方法
- 2011年
- 在软件开发过程中，克隆代码已经成为引起软件缺陷的一个重要因素。针对现有的方法不能很好地处理内聚度低、功能交叉的克隆代码的问题，提出了一种基于K-最近邻的克隆代码重构方法。首先，对克隆代码进行静态分析，搜集控制依赖信息和数据流信息，再经过K-最近邻聚类方法，形成便于提取、功能独立的代码片段，然后对代码片段进行过程提取，使之成为一个独立的过程，并用过程调用替代原来的克隆代码。实验结果表明，该方法能够对克隆代码进行有效组织，并对功能独立的部分进行提取。
- 冯江辉王甜甜苏小红马培军
- 使用哈希值和标识符冲突率的克隆代码检测的误检消除方法被引量：1
- 2013年
- 针对采用基于token的克隆代码检测方法检测语法相似的克隆代码时存在的部分误检问题,提出一种使用哈希值和标识符冲突率来消除克隆代码检测的部分误检的方法。该方法首先通过语句的哈希值判断语句结构的相似性,然后计算标识符冲突率,通过冲突率的变化,来确定误检消除的方向和消除情况。对于存在误检的克隆代码,最终通过修改克隆代码的相对行号来消除误检。实验结果表明,提出的方法可以消除由于插入结构相同的语句而引起的克隆代码的误检问题,并在此基础上,有效消除了语句形式一样但由于语句顺序颠倒而引起的克隆代码误检问题,提高了克隆代码检测及克隆代码相关缺陷检测的准确性,有利于后续克隆代码重构的研究。
- 边奕心王甜甜苏小红马培军
- 关键词：克隆代码哈希值误检
