卢红敏
- 作品数：30 被引量：33H指数：3
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术文化科学经济管理更多>>
- 一种基于长时执行测试程序过滤的编译器测试加速方法
- 本发明提供了一种基于长时执行测试程序过滤的编译器测试加速方法，主要包括下列步骤：1)对随机程序生成器生成的每一个测试程序进行插桩；2)给定短暂运行时间，对于没有在给定时间内运行结束的测试程序，获取测试程序运行时的覆盖信息...
- 杨已彪吴江昶孙茂林卢红敏周毓明
- 一种基于缺陷预测的软件静态检查警告排序优化方法
- 本发明提供一种基于缺陷预测的软件静态检查警告排序优化方法。根据已知软件系统的源代码和开发过程信息，抽取软件系统的模块度量信息并对软件模块是否存在缺陷进行标注；根据软件模块度量和缺陷信息利用机器学习算法构建缺陷预测模型；对...
- 张旭卢红敏周毓明
- 文献传递
- 一种基于动态基本块的缺陷定位测试用例约简方法
- 一种基于动态基本块的测试用例约简方法，首先根据执行路径构建语句覆盖矩阵，然后将语句覆盖矩阵转换为动态基本块覆盖矩阵，通过最大划分策略MDS和均匀划分策略EDS两种简约策略约简需要人工检查结果的测试用例集来节约人力，再将约...
- 陈林马倩卢红敏徐宝文
- 文献传递
- 考虑类特性的面向对象错误定位被引量：2
- 2013年
- 基于频谱的错误定位方法很少考虑语言特性对其错误定位效率的影响.文中针对基于频谱的面向对象程序错误定位,分析讨论了类特性对基于频谱的错误定位方法的有效影响,提出了结合类可疑度信息的错误定位算法,并通过3个Java开源软件作为实验对象对其进行了验证.实验结果表明,文中提出的方法能够有效提高基于频谱的面向对象错误定位方法的效率.
- 涂径玄陈林许蕾卢红敏徐宝文
- 关键词：面向对象频谱
- 一种基于大型预训练语言模型的求解器缺陷检测方法
- 本发明提出了一种基于大型预训练语言模型的求解器缺陷检测方法。该方法主要包括以下步骤：首先，将求解器标准库中的公式和历史触发缺陷的公式进行数据扩增作为训练集；其次，基于训练集使用“重训练‑微调”框架对预训练大模型进行定制化...
- 杨已彪孙茂林许沂聪卢红敏周毓明
- 类规模对面向对象度量易变性预测能力的潜在混和效应:一个元分析被引量：2
- 2015年
- 最近的研究表明,类的规模对面向对象(OO)度量的易变性预测能力存在很强的混和效应,因此需要将其作为一个混和变量来考虑,否则有可能会得到误导性的结果.然而,先前的研究仅仅分析了一个软件系统,因此不清楚这个结论是否可以推广到其他系统上.为解决此问题,文中在102个Java软件系统的基础上利用元分析技术检查类的规模对55个OO度量和易变性之间关联关系的潜在混和效应.对每一个OO度量,首先在单个系统上分别计算在控制规模和不控制规模的两种情况下它与易变性的关联强度.然后,利用随机效应元分析模型计算在所有系统上且分别在这两种情况下它与易变性的平均关联强度.最后,在此基础上利用统计方法检测类规模的潜在混和效应.实验结果表明类规模的混和效应是广泛存在的,因此在验证OO度量的易变性预测能力时确实需要将其作为一个混和变量来考虑.
- 卢红敏周毓明徐宝文
- 关键词：面向对象
- 一种基于软件可靠性增长模型的测试工作量分配方法
- 本发明提供一种基于软件可靠性增长模型的测试工作量分配方法，包括下列步骤：1)软件数据集的采集和处理；2)软件缺陷预测模型的构建；3)软件缺陷发现模型的构建；4)软件缺陷发现模型V<Sub>0</Sub>版本参数估计；5)...
- 周毓明冯义洋卢红敏徐宝文
- 文献传递
- 程序分析与测试技术研究
- 徐宝文史亮陈振强聂长海黄曙萍周毓明周晓宇陈林卢红敏左赋斌曹景屈波钱巨章晓芳吴重强
- “程序分析与测试技术研究”课题组提出了一种并发程序切片算法，较好地解决了并发程序依赖性的不可传递性问题，在多项式时间内获得了比较精确的切片。从多个方面研究了内聚性和复杂性。提出了三种新的两两组合测试用例集生成算法，其生成...
- 关键词：
- 关键词：程序切片软件测试
- 一种基于增强特征的安全冗余排错检查去除方法
- 本发明提出了一种增强特征的安全冗余排错检查去除方法。该方法主要包含以下步骤：1)将用户代码转换为LLVM中间表示；2)识别出代码中的排错检查；3)计算出每个检查分支的静态特征，在计算静态特征时包括额外的操作符的特征；4)...
- 杨已彪许沂聪孙茂林李清扬卢红敏周毓明
- 一种基于调试信息支撑的代码覆盖器缺陷检测方法
- 本发明提供了一种基于调试信息支撑的代码覆盖器缺陷检测方法，主要包括下列步骤：1)使用代码覆盖器为测试程序生成覆盖报告，获取代码覆盖信息；2)在调试器中单步调试运行程序，获取代码命中信息；3)在调试器中断点调试运行程序，获...
- 杨已彪李清扬王洋孙茂林卢红敏周毓明
