公共文化服务平台

通过增大边际权重提高基于频谱的错误定位效率被引量：11: 2010年; 基于频谱的错误定位技术通常利用覆盖信息来求出程序中每条语句的可疑度,并将语句按照可疑度降序排序以寻找错误语句.文中对已有的基于频谱的错误定位算法进行改进,将失败测试用例的边际权重引入到可疑度计算的过程中,即针对某一特定语句,令失败测试用例的权重随着其对该语句覆盖次数的增加而增大.实验结果表明,相对于其它方法,文中提出的方法对错误定位效率有一定的促进作用,即只需检查更少的语句即可找到出错位置.; 谭德贵陈林王子元丁晖周毓明徐宝文; 关键词：软件测试

基于信息检索的缺陷定位:问题、进展与挑战被引量：14: 2020年; 缺陷的存在,会影响软件系统的正常使用甚至带来重大危害.为了帮助开发者尽快找到并修复这些缺陷,研究者提出了基于信息检索的缺陷定位方法.这类方法将缺陷定位视为一个检索任务,它为每个缺陷报告生成一份按照程序实体与缺陷相关度降序排序的列表.开发者可以根据列表顺序来审查代码,从而降低审查成本并加速缺陷定位的进程.近年来,该领域的研究工作十分活跃,在改良定位方法和完善评价体系方面取得了较大进展.与此同时,为了能够在实践中更好地应用这类方法,该领域的研究工作仍面临着一些亟待解决的挑战.对近年来国内外学者在该领域的研究成果进行系统性的总结:首先,描述了基于信息检索的缺陷定位方法的研究问题;然后,分别从模型改良和模型评估两方面陈述了相关的研究进展,并对具体的理论和技术途径进行梳理;接着,简要介绍了缺陷定位的其他相关技术;最后,总结了目前该领域研究过程中面临的挑战并给出建议的研究方向.; 郭肇强周慧聪刘释然李言辉李言辉周毓明陈林; 关键词：信息检索软件维护

一种基于软件可靠性增长模型的测试工作量分配方法: 本发明提供一种基于软件可靠性增长模型的测试工作量分配方法，包括下列步骤：1)软件数据集的采集和处理；2)软件缺陷预测模型的构建；3)软件缺陷发现模型的构建；4)软件缺陷发现模型V<Sub>0</Sub>版本参数估计；5)...; 周毓明冯义洋卢红敏徐宝文; 文献传递

数据驱动的软件工程: 2020年; 随着互联网和物联网等的不断发展,软件已成为信息技术应用基础设施的重要元素,成为促进生产方式和生产关系变革、产业转型升级、新兴产业和价值链诞生与发展的重要引擎。大规模、高效率地生产高质量的软件产品和提供软件服务的能力已成为社会经济升级发展的新动能,也是软件工程的主要研究内容。近年来,软件开发和服务广泛使用版本控制系统、缺陷追踪系统、邮件列表等支撑工具。; 周明辉王青周毓明王俊杰谭鑫; 关键词：软件工程邮件列表信息技术应用基础数据驱动软件开发物联网

一种基于堆栈信息的编译器崩溃类缺陷去重方法: 本发明提出了一种基于堆栈信息的编译器崩溃类缺陷去重方法。该方法利用编译器崩溃时生成的堆栈信息，并结合编译器运行的上下文信息，对触发相同缺陷的崩溃报告进行识别和去重。具体而言，该方法首先收集编译器运行的上下文和运行至崩溃处...; 杨已彪高宏艳吴江昶孙茂林周毓明

一种历史缺陷用例赋能的SMT求解器缺陷检测方法: 本发明提供了一种历史缺陷用例赋能的SMT求解器缺陷检测方法，主要步骤：1)从求解器的缺陷追踪系统中自动化收集历史缺陷用例；2)提取历史缺陷用例中逻辑公式的骨架结构(即公式中逻辑连接词构成的逻辑结构)以及原子公式；3)对所...; 孙茂林杨已彪周毓明

程序分析与测试技术研究: 徐宝文史亮陈振强聂长海黄曙萍周毓明周晓宇陈林卢红敏左赋斌曹景屈波钱巨章晓芳吴重强; “程序分析与测试技术研究”课题组提出了一种并发程序切片算法，较好地解决了并发程序依赖性的不可传递性问题，在多项式时间内获得了比较精确的切片。从多个方面研究了内聚性和复杂性。提出了三种新的两两组合测试用例集生成算法，其生成...; 关键词：; 关键词：程序切片软件测试

一种基于增强特征的安全冗余排错检查去除方法: 本发明提出了一种增强特征的安全冗余排错检查去除方法。该方法主要包含以下步骤：1)将用户代码转换为LLVM中间表示；2)识别出代码中的排错检查；3)计算出每个检查分支的静态特征，在计算静态特征时包括额外的操作符的特征；4)...; 杨已彪许沂聪孙茂林李清扬卢红敏周毓明

一种基于调试信息支撑的代码覆盖器缺陷检测方法: 本发明提供了一种基于调试信息支撑的代码覆盖器缺陷检测方法，主要包括下列步骤：1)使用代码覆盖器为测试程序生成覆盖报告，获取代码覆盖信息；2)在调试器中单步调试运行程序，获取代码命中信息；3)在调试器中断点调试运行程序，获...; 杨已彪李清扬王洋孙茂林卢红敏周毓明

一种随机TBFL方法被引量：7: 2013年; 许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了解决这个问题,Hao等人提出了SAFL(similarity aware fault localization)方法。实际上完全避免冗余是不可能的,因此从另一个角度构造了一个新的TBFL方法,称为随机TBFL方法。该方法的基本思想是:测试前对程序的语句错误概率进行先验分布,并把测试集看成随机变量,用测试用例反映的程序语句有关信息对程序语句的概率作一些调整,调整后的概率称为后验校正概率,最后根据这个后验概率对错误语句进行定位。将传统的TB-FL方法如Dicing方法、TARANTULA方法、SAFL方法纳入随机信息分析并通过几个实例进行分析和比较,结果表明,随机TBFL方法不仅能够正确定位错误语句,而且冗余对该方法的功效伤害不大。; 王蓁蓁徐宝文周毓明陈林

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

周毓明