杨已彪
- 作品数:13 被引量:0H指数:0
- 供职机构:南京大学更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 一种历史缺陷用例赋能的SMT求解器缺陷检测方法
- 本发明提供了一种历史缺陷用例赋能的SMT求解器缺陷检测方法,主要步骤:1)从求解器的缺陷追踪系统中自动化收集历史缺陷用例;2)提取历史缺陷用例中逻辑公式的骨架结构(即公式中逻辑连接词构成的逻辑结构)以及原子公式;3)对所...
- 孙茂林杨已彪周毓明
- 一种工作量感知的bug定位技术有效性评价方法
- 本发明提供一种工作量感知的bug定位技术有效性评价方法,包括下列步骤:1)软件bug报告信息的收集;2)源代码文件工作量的收集;3)源代码文件序列的生成;4)评价指标的计算;5)bug定位技术的分析与评价。本发明解决了目...
- 周毓明赵斐杨已彪卢红敏徐宝文
- 文献传递
- 一种基于混和效应移除的即时缺陷预测方法
- 本发明提供一种基于混和效应移除的即时缺陷预测方法,包括下列步骤:1)软件变更度量的收集;2)移除变更度量与变更量度量的混和效应;3)建立无监督即时缺陷预测模型;4)提交变更序列给开发人员进行审查。本发明解决了目前传统即时...
- 卢红敏杨已彪刘金平赵泱泱周毓明徐宝文
- 文献传递
- 一种基于长时执行测试程序过滤的编译器测试加速方法
- 本发明提供了一种基于长时执行测试程序过滤的编译器测试加速方法,主要包括下列步骤:1)对随机程序生成器生成的每一个测试程序进行插桩;2)给定短暂运行时间,对于没有在给定时间内运行结束的测试程序,获取测试程序运行时的覆盖信息...
- 杨已彪吴江昶孙茂林卢红敏周毓明
- 细粒度缺陷预测技术研究
- 缺陷预测技术是利用软件度量数据构建缺陷预测模型预测软件系统中潜在缺陷的技术,它能帮助指导分配测试或审查资源。当前,围绕缺陷预测技术已有大量的研究,但仍然存在一些需要解决的问题。一方面,利用有限的代码以及过程度量信息构建的...
- 杨已彪
- 关键词:开源软件细粒度
- 文献传递
- 一种基于增强特征的安全冗余排错检查去除方法
- 本发明提出了一种增强特征的安全冗余排错检查去除方法。该方法主要包含以下步骤:1)将用户代码转换为LLVM中间表示;2)识别出代码中的排错检查;3)计算出每个检查分支的静态特征,在计算静态特征时包括额外的操作符的特征;4)...
- 杨已彪许沂聪孙茂林李清扬卢红敏周毓明
- 一种基于调试信息支撑的代码覆盖器缺陷检测方法
- 本发明提供了一种基于调试信息支撑的代码覆盖器缺陷检测方法,主要包括下列步骤:1)使用代码覆盖器为测试程序生成覆盖报告,获取代码覆盖信息;2)在调试器中单步调试运行程序,获取代码命中信息;3)在调试器中断点调试运行程序,获...
- 杨已彪李清扬王洋孙茂林卢红敏周毓明
- 测试集有效性评价:问题、进展与挑战
- 2024年
- 测试用例集的缺陷检测有效性指测试集能够在多大程度上检测出软件中存在的缺陷.如何评价测试集的缺陷检测有效性是一个重要问题.覆盖率和变异得分是两个最重要和最广泛使用的测试集有效性度量.为量化测试集的缺陷检测能力,研究人员对测试集有效性评价进行了大量研究并且取得了较大的进展.与此同时,现有研究存在不一致的结论,该领域依然存在一些亟待解决的挑战.对多年来国内外学者在测试集有效性评价领域的研究成果进行系统性的梳理和总结.首先,阐述测试集有效性评价研究中的问题.然后,介绍并分析基于覆盖率和基于变异得分的测试集有效性的评价以及介绍测试集有效性评价在测试集优化中的应用.最后,指出测试集有效性评价研究中面临的挑战并给出建议的研究方向.
- 路则雨张鹏张鹏郭肇强杨已彪周毓明
- 基于依赖关系的模块变更概率度量:一个实验分析
- 2012年
- 模块变更预测对于面向对象软件的开发和维护工作具有重要意义。针对软件的模块变更预测问题,首先在软件类之间依赖关系的基础上提出了一种轻量级的模块变更概率计算方法,然后利用Logistic回归模型对Eclipse 2.0系统进行了实验分析。实验结果表明:一方面,基于依赖关系的模块变更概率度量捕获了与传统面向对象度量不同的信息;另一方面,当与传统的面向对象度量一起使用时,它们能够在统计意义上显著地提高模块变更预测的准确性。
- 薛朝栋杨已彪周毓明
- 关键词:面向对象
- 一种基于不同调试级别交叉验证的调试器缺陷检测方法
- 本发明提供了一种基于不同调试级别交叉验证的调试器缺陷检测方法,主要步骤:1)使用编译器将源码程序编译为可执行程序,可指定任意优化选项并启用调试选项;2)分别在源码级别和指令级别在调试器中单步调试运行可执行程序;3)跟踪和...
- 杨已彪孙茂林李清扬卢红敏周毓明