国家自然科学基金(61202092)
- 作品数：4 被引量：8H指数：1
- 相关作者：王甜甜王克朝任向民王知非成坚更多>>
- 相关机构：哈尔滨工业大学哈尔滨学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金黑龙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向程序分析的插桩技术研究被引量：5
- 2015年
- 为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明,该方法能够为准确高效的程序分析提供必要的运行时信息。
- 王克朝成坚王甜甜任向民
- 关键词：程序插桩语法树
- 基于遗传编程的学生程序修正方法被引量：1
- 2018年
- 学生程序的自动修正是程序设计类大规模网络公开课亟需解决的关键问题。结合学生程序在线评测的需求,提出了基于遗传编程的学生程序修正模型,设计并实现了基于Web的便于教师和学生使用的程序自动修正系统。基于测试用例集实现程序在线评测,对评测结果中满足自动修正条件的学生程序进行错误定位,在此基础上实现自动修正。应用结果表明,该系统可以有效管理和测试学生程序,并为学生修正含有缺陷的程序提供参考,减轻了教师的负担。
- 王克朝王甜甜王知非任向民
- 关键词：缺陷修正遗传编程
- 失效上下文统计分析的软件故障定位方法被引量：1
- 2015年
- 针对程序切片方法不提供语句的可疑程度描述,而覆盖分析方法不能充分分析程序元素间的相互影响等问题,提出上下文统计分析的软件故障定位方法。首先,将源程序转换为抽象语法树和程序依赖图;接下来,插桩程序,收集运行时信息;然后,根据失效点,执行按需的反向动态切片,确定失效产生的上下文;最后,对于反向动态切片中的节点,统计计算可疑度,输出带可疑度排序的动态程序切片。该方法不但描述了失效产生的上下文,还计算上下文中各个语句的可疑度。实验结果表明,所提方法与单一的覆盖分析方法相比,平均Expense降低了1.3%,与单一的切片方法相比,平均Expense降低了5.6%,所提方法可以有效辅助开发人员定位与修正软件缺陷。
- 王克朝王甜甜任向民贾宗福
- 关键词：故障定位动态切片
- 基于结构特征聚类的相似代码检索方法被引量：1
- 2015年
- 针对基于图的相似代码检测方法复杂度高、对代码多样化识别能力有限等问题,提出基于结构特征聚类的方法。首先将代码表示为控制依赖树,在此基础上执行代码标准化,消除代码表达方式的多样化,以便识别语法表示不同,而语义相似的代码;然后采用特征向量描述程序的结构信息,将复杂的图的相似度求解问题转换为简单的相似向量的聚类问题,快速提取可能相似的候选代码。实验结果表明,方法与Gabel等人提出的方法相比,可以识别更多的代码多样化。
- 王克朝王甜甜王知非任向民林海成
- 关键词：语义分析
