期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
软件错误自动定位关键科学问题及研究进展 被引量:17
1
作者 王克朝 王甜甜 +1 位作者 苏小红 马培军 《计算机学报》 EI CSCD 北大核心 2015年第11期2262-2278,共17页
程序源代码中的缺陷是导致软件不可靠的一个主要原因.软件错误自动定位技术通过计算机分析程序源代码或执行过程中产生的运行状态,检测程序中的异常并将其独立出来作为需要进一步调试的可疑代码,从而缩小缺陷代码的搜索范围,辅助开发人... 程序源代码中的缺陷是导致软件不可靠的一个主要原因.软件错误自动定位技术通过计算机分析程序源代码或执行过程中产生的运行状态,检测程序中的异常并将其独立出来作为需要进一步调试的可疑代码,从而缩小缺陷代码的搜索范围,辅助开发人员更快地识别缺陷语句并分析软件失效的产生原因.为了清晰地分析软件错误定位领域的关键科学问题,文中首先定义了"失效-错误定位-理解"模型,然后形式化地描述了软件错误定位相关概念;接下来,调研国内外最新研究进展,统计分析了发展趋势;重点分析了各种错误定位方法的基本思想、优缺点及其对关键问题的解决情况;最后总结了尚待解决的难点问题,指出了未来可能的研究方向. 展开更多
关键词 软件失效 软件缺陷 错误定位 自动化调试 程序分析
在线阅读 下载PDF
失效上下文统计分析的软件故障定位方法 被引量:1
2
作者 王克朝 王甜甜 +1 位作者 任向民 贾宗福 《计算机应用》 CSCD 北大核心 2015年第3期882-885,890,共5页
针对程序切片方法不提供语句的可疑程度描述,而覆盖分析方法不能充分分析程序元素间的相互影响等问题,提出上下文统计分析的软件故障定位方法。首先,将源程序转换为抽象语法树和程序依赖图;接下来,插桩程序,收集运行时信息;然后,根据失... 针对程序切片方法不提供语句的可疑程度描述,而覆盖分析方法不能充分分析程序元素间的相互影响等问题,提出上下文统计分析的软件故障定位方法。首先,将源程序转换为抽象语法树和程序依赖图;接下来,插桩程序,收集运行时信息;然后,根据失效点,执行按需的反向动态切片,确定失效产生的上下文;最后,对于反向动态切片中的节点,统计计算可疑度,输出带可疑度排序的动态程序切片。该方法不但描述了失效产生的上下文,还计算上下文中各个语句的可疑度。实验结果表明,所提方法与单一的覆盖分析方法相比,平均Expense降低了1.3%,与单一的切片方法相比,平均Expense降低了5.6%,所提方法可以有效辅助开发人员定位与修正软件缺陷。 展开更多
关键词 软件调试 故障定位 动态切片 覆盖分析 失效上下文
在线阅读 下载PDF
面向有效错误定位的测试用例优选方法 被引量:9
3
作者 王克朝 王甜甜 +2 位作者 苏小红 马培军 童志祥 《计算机研究与发展》 EI CSCD 北大核心 2014年第4期865-873,共9页
针对已有测试用例选择方法在提高错误定位有效性方面存在局限性的问题,首先,定义"失效覆盖向量相似度优先排序"准则,将执行路径与失效执行路径相似的成功测试用例赋予较高的优先级;然后定义"失效覆盖等价划分优化选择&qu... 针对已有测试用例选择方法在提高错误定位有效性方面存在局限性的问题,首先,定义"失效覆盖向量相似度优先排序"准则,将执行路径与失效执行路径相似的成功测试用例赋予较高的优先级;然后定义"失效覆盖等价划分优化选择"准则,选择能够最大区分失效执行语句的成功测试用例集合;在此基础上,建立测试用例优选模型(effective selection,ES).不同于已有方法,ES充分利用失效执行路径来提高错误定位的有效性.该模型被应用于优选Siemens测试用例集合,其结果被应用于Tarantula等4种错误定位方法.结果表明,ES在约简率Reduction和衡量错误定位有效性的Expense_increase两个指标方面,均优于已有的基于语句和基于向量的测试用例约简方法.ES不但可以获得97%以上的约简率,提高错误定位的效率,而且具有较低的Expense_increase,显著提高了错误定位的有效性. 展开更多
关键词 错误定位 覆盖分析 测试用例 约简 优选
在线阅读 下载PDF
面向程序理解的系统依赖图构建算法 被引量:6
4
作者 王克朝 王甜甜 +2 位作者 苏小红 马培军 童志祥 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2013年第1期78-84,共7页
为降低程序理解中的程序标准化和程序匹配等复杂度,提出了面向程序理解的系统依赖图构建算法,将其划分为3个阶段:程序信息的提取、控制依赖子图的构建和数据依赖子图的构建.采取控制依赖和数据依赖分别求解,直接基于控制依赖子图分析数... 为降低程序理解中的程序标准化和程序匹配等复杂度,提出了面向程序理解的系统依赖图构建算法,将其划分为3个阶段:程序信息的提取、控制依赖子图的构建和数据依赖子图的构建.采取控制依赖和数据依赖分别求解,直接基于控制依赖子图分析数据流,无需额外的控制流图表示,并且可按需计算数据流,降低了算法复杂度;将选择语句和循环语句统一表示,并将表达式表示为抽象语法树,使之便于程序转换和分析.在编程题自动评分系统和程序识别中的应用中结果表明构建的系统依赖图为程序理解和分析提供了方便,降低了复杂度. 展开更多
关键词 程序理解 系统依赖图 程序信息提取 控制依赖 数据依赖
在线阅读 下载PDF
面向程序分析的插桩技术研究 被引量:5
5
作者 王克朝 成坚 +1 位作者 王甜甜 任向民 《计算机应用研究》 CSCD 北大核心 2015年第2期479-484,共6页
为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件... 为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明,该方法能够为准确高效的程序分析提供必要的运行时信息。 展开更多
关键词 程序插桩 程序分析 软件自动调试 语法树
在线阅读 下载PDF
基于遗传编程的学生程序修正方法 被引量:2
6
作者 王克朝 王甜甜 +1 位作者 王知非 任向民 《计算机应用研究》 CSCD 北大核心 2018年第6期1773-1777,共5页
学生程序的自动修正是程序设计类大规模网络公开课亟需解决的关键问题。结合学生程序在线评测的需求,提出了基于遗传编程的学生程序修正模型,设计并实现了基于Web的便于教师和学生使用的程序自动修正系统。基于测试用例集实现程序在线评... 学生程序的自动修正是程序设计类大规模网络公开课亟需解决的关键问题。结合学生程序在线评测的需求,提出了基于遗传编程的学生程序修正模型,设计并实现了基于Web的便于教师和学生使用的程序自动修正系统。基于测试用例集实现程序在线评测,对评测结果中满足自动修正条件的学生程序进行错误定位,在此基础上实现自动修正。应用结果表明,该系统可以有效管理和测试学生程序,并为学生修正含有缺陷的程序提供参考,减轻了教师的负担。 展开更多
关键词 缺陷修正 错误定位 遗传编程 程序评测 大规模网络公开课
在线阅读 下载PDF
基于插桩技术的程序谱构建方法 被引量:4
7
作者 王克朝 李兵 +1 位作者 王甜甜 陈京浩 《科学技术与工程》 北大核心 2014年第18期89-93,共5页
为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序... 为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱。采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点。在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。 展开更多
关键词 程序谱 源代码插桩 程序分析 覆盖测试 软件错误定位
在线阅读 下载PDF
克隆代码分析方法研究 被引量:1
8
作者 王克朝 朱宸光 +1 位作者 王甜甜 苏小红 《计算机应用研究》 CSCD 北大核心 2017年第3期748-751,共4页
针对已有克隆代码检测工具只输出克隆组形式的检测结果,而难以分析克隆代码对软件质量的影响问题,提出了危害软件质量的关键克隆代码的识别方法。定义了克隆代码的统一表示形式,使之可以分析各种克隆检测工具的检测结果,然后解析源程序... 针对已有克隆代码检测工具只输出克隆组形式的检测结果,而难以分析克隆代码对软件质量的影响问题,提出了危害软件质量的关键克隆代码的识别方法。定义了克隆代码的统一表示形式,使之可以分析各种克隆检测工具的检测结果,然后解析源程序和克隆检测结果,识别标志符命名不一致性潜在缺陷,定义了克隆关联图,在此基础上检测跨越多个实现不同功能的文件、危害软件可维护性的克隆代码,最后对检测结果进行可视化统计分析。克隆代码分析工具被应用于分析开源代码httpd,检测出了1组标志符命名不一致的克隆代码和44组危害软件可维护性的关键克隆类。实验结果表明,该方法可以有效辅助软件开发和维护人员分析、维护克隆代码。 展开更多
关键词 克隆代码 克隆代码分析 克隆代码维护 缺陷检测
在线阅读 下载PDF
基于结构特征聚类的相似代码检索方法 被引量:1
9
作者 王克朝 王甜甜 +2 位作者 王知非 任向民 林海成 《科学技术与工程》 北大核心 2015年第11期221-225,共5页
针对基于图的相似代码检测方法复杂度高、对代码多样化识别能力有限等问题,提出基于结构特征聚类的方法。首先将代码表示为控制依赖树,在此基础上执行代码标准化,消除代码表达方式的多样化,以便识别语法表示不同,而语义相似的代码;然后... 针对基于图的相似代码检测方法复杂度高、对代码多样化识别能力有限等问题,提出基于结构特征聚类的方法。首先将代码表示为控制依赖树,在此基础上执行代码标准化,消除代码表达方式的多样化,以便识别语法表示不同,而语义相似的代码;然后采用特征向量描述程序的结构信息,将复杂的图的相似度求解问题转换为简单的相似向量的聚类问题,快速提取可能相似的候选代码。实验结果表明,方法与Gabel等人提出的方法相比,可以识别更多的代码多样化。 展开更多
关键词 相似代码 语义分析 向量聚类
在线阅读 下载PDF
一种利用引擎节点实现高效微博营销的方法
10
作者 林泽鸿 周雪妍 +2 位作者 罗秋滨 于秀敏 高志英 《兰州理工大学学报》 CAS 北大核心 2016年第6期104-108,共5页
微博营销是一种成本低、效率高的营销手段.其问题的关键是准确寻找网络中有影响力的节点作为触发品牌知名度的少数用户,保证在较少投入情况下获得较大收益.本文以真实微博数据为研究对象,提出了一种利用微博信息传播引擎节点实现高效网... 微博营销是一种成本低、效率高的营销手段.其问题的关键是准确寻找网络中有影响力的节点作为触发品牌知名度的少数用户,保证在较少投入情况下获得较大收益.本文以真实微博数据为研究对象,提出了一种利用微博信息传播引擎节点实现高效网络营销的方法.首先,在兴趣领域相近的网络信息级联树上挖掘扩散系数高的引擎节点;其次,以这些引擎节点作为初始传播节点进行信息传播演化.实验结果表明,利用引擎节点作为初始节点能够使信息传播速度更快、范围更大. 展开更多
关键词 微博 信息传播 引擎节点 微博营销
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部