国家教育部博士点基金(20112302120052)
- 作品数：11 被引量：49H指数：5
- 相关作者：王甜甜王克朝苏小红马培军任向民更多>>
- 相关机构：哈尔滨工业大学哈尔滨学院重庆市公安局更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金哈尔滨市科技创新人才研究专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向有效错误定位的测试用例优选方法被引量：8
- 2014年
- 针对已有测试用例选择方法在提高错误定位有效性方面存在局限性的问题,首先,定义"失效覆盖向量相似度优先排序"准则,将执行路径与失效执行路径相似的成功测试用例赋予较高的优先级;然后定义"失效覆盖等价划分优化选择"准则,选择能够最大区分失效执行语句的成功测试用例集合;在此基础上,建立测试用例优选模型(effective selection,ES).不同于已有方法,ES充分利用失效执行路径来提高错误定位的有效性.该模型被应用于优选Siemens测试用例集合,其结果被应用于Tarantula等4种错误定位方法.结果表明,ES在约简率Reduction和衡量错误定位有效性的Expense_increase两个指标方面,均优于已有的基于语句和基于向量的测试用例约简方法.ES不但可以获得97%以上的约简率,提高错误定位的效率,而且具有较低的Expense_increase,显著提高了错误定位的有效性.
- 王克朝王甜甜苏小红马培军童志祥
- 关键词：测试用例
- 面向程序分析的插桩技术研究被引量：5
- 2015年
- 为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明,该方法能够为准确高效的程序分析提供必要的运行时信息。
- 王克朝成坚王甜甜任向民
- 关键词：程序插桩语法树
- 一种基于加权软件行为图挖掘的软件错误定位方法被引量：2
- 2016年
- 已有错误定位方法通常仅给出可疑语句排序而缺少必要的上下文信息,导致难于理解软件失效的产生原因.为了解决该问题,定义了加权软件行为图来表示成功和失败的程序执行路径,由于图中边的权重表示了路径的执行频率,因此与LEAP方法相比,可以较好地分析与循环和递归等结构相关的软件错误.在此基础上,执行基于分支限界搜索的加权软件行为图挖掘算法,识别成功和失败执行之间最有差异的子图来获得错误签名,不但可以有效定位错误位置,还能输出缺陷语句相关的执行路径,从而提供失效产生的上下文.分析Siemens基准测试集和flex程序的结果表明,在检查相同百分比的语句的情况下,文中方法可以比Tarantula方法和LEAP方法定位到更多的错误.特别是对于冗余代码、缺失代码和变量替换,以及会直接改变执行路径类的错误,文中方法具有较高的定位精度.
- 苏小红王甜甜杨劭君马培军
- 基于插桩技术的程序谱构建方法被引量：4
- 2014年
- 为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱。采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点。在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。
- 王克朝李兵王甜甜陈京浩
- 结合用例约简与联合依赖概率建模的错误定位被引量：6
- 2014年
- 现有的测试用例约简方法不能有效提高错误定位精度,现有的软件错误定位方法不能充分分析元素间的依赖关系.针对以上问题,提出结合测试用例约简和联合依赖概率建模的软件错误自动定位方法,将测试用例约简与软件错误定位统一为一个整体.不同于一般的测试用例约简方法,所提出的测试用例约简方法在程序执行路径的基础上充分考虑了错误测试用例对错误定位的影响,能够为错误定位提供有效的测试用例,为快速、准确地定位软件错误奠定基础.定义了一种新的统计模型——联合依赖概率模型,充分分析了程序元素间的控制依赖、数据依赖以及语句执行状态,并提出基于联合依赖概率模型的错误自动定位方法.通过计算联合依赖关系的可疑度,对可疑节点进行排序,准确定位错误语句.实验结果表明:与SBI,SOBER,Tarantula,SF和RankCP方法相比,该算法可以更加有效地定位软件错误.
- 苏小红龚丹丹王甜甜马培军
- 关键词：程序切片统计分析
- 基于频繁闭合序列模式挖掘的学生程序雷同检测被引量：1
- 2015年
- 针对学生程序抄袭导致考核可信度降低而人工检测抄袭工作量巨大的问题,提出了程序雷同检测模型,首先通过词法分析将程序转换成token序列,并将其散列映射为数字序列;然后采用BIDE挖掘算法挖掘频繁闭合序列;在此基础上,识别相似代码片段,并计算程序之间的相似度,进而判定程序是否雷同。实验结果表明,与目前应用广泛的雷同程序检测工具MOSS相比,本文方法提高了雷同检测的准确性,不但可以准确地给出雷同统计信息,还能够较为直观地显示雷同代码片段。
- 王克朝王甜甜苏小红马培军
- 关键词：计算机软件抄袭检测相似度
- 软件错误自动定位关键科学问题及研究进展被引量：17
- 2015年
- 程序源代码中的缺陷是导致软件不可靠的一个主要原因.软件错误自动定位技术通过计算机分析程序源代码或执行过程中产生的运行状态,检测程序中的异常并将其独立出来作为需要进一步调试的可疑代码,从而缩小缺陷代码的搜索范围,辅助开发人员更快地识别缺陷语句并分析软件失效的产生原因.为了清晰地分析软件错误定位领域的关键科学问题,文中首先定义了"失效-错误定位-理解"模型,然后形式化地描述了软件错误定位相关概念;接下来,调研国内外最新研究进展,统计分析了发展趋势;重点分析了各种错误定位方法的基本思想、优缺点及其对关键问题的解决情况;最后总结了尚待解决的难点问题,指出了未来可能的研究方向.
- 王克朝王甜甜苏小红马培军
- 面向程序理解的系统依赖图构建算法被引量：5
- 2013年
- 为降低程序理解中的程序标准化和程序匹配等复杂度,提出了面向程序理解的系统依赖图构建算法,将其划分为3个阶段:程序信息的提取、控制依赖子图的构建和数据依赖子图的构建.采取控制依赖和数据依赖分别求解,直接基于控制依赖子图分析数据流,无需额外的控制流图表示,并且可按需计算数据流,降低了算法复杂度;将选择语句和循环语句统一表示,并将表达式表示为抽象语法树,使之便于程序转换和分析.在编程题自动评分系统和程序识别中的应用中结果表明构建的系统依赖图为程序理解和分析提供了方便,降低了复杂度.
- 王克朝王甜甜苏小红马培军童志祥
- 关键词：系统依赖图数据依赖
- 克隆代码分析方法研究被引量：1
- 2017年
- 针对已有克隆代码检测工具只输出克隆组形式的检测结果,而难以分析克隆代码对软件质量的影响问题,提出了危害软件质量的关键克隆代码的识别方法。定义了克隆代码的统一表示形式,使之可以分析各种克隆检测工具的检测结果,然后解析源程序和克隆检测结果,识别标志符命名不一致性潜在缺陷,定义了克隆关联图,在此基础上检测跨越多个实现不同功能的文件、危害软件可维护性的克隆代码,最后对检测结果进行可视化统计分析。克隆代码分析工具被应用于分析开源代码httpd,检测出了1组标志符命名不一致的克隆代码和44组危害软件可维护性的关键克隆类。实验结果表明,该方法可以有效辅助软件开发和维护人员分析、维护克隆代码。
- 王克朝朱宸光王甜甜苏小红
- 关键词：克隆代码
- 基于结构特征聚类的相似代码检索方法被引量：1
- 2015年
- 针对基于图的相似代码检测方法复杂度高、对代码多样化识别能力有限等问题,提出基于结构特征聚类的方法。首先将代码表示为控制依赖树,在此基础上执行代码标准化,消除代码表达方式的多样化,以便识别语法表示不同,而语义相似的代码;然后采用特征向量描述程序的结构信息,将复杂的图的相似度求解问题转换为简单的相似向量的聚类问题,快速提取可能相似的候选代码。实验结果表明,方法与Gabel等人提出的方法相比,可以识别更多的代码多样化。
- 王克朝王甜甜王知非任向民林海成
- 关键词：语义分析
