【摘 要】
:
学生在线编程评测系统(Online Judge System,OJ)被广泛应用于程序设计的教学之中。但现有OJ系统只返回程序是否正确。学生由于缺乏编程的实践经验,在独立定位程序发生错误位置的过程中经常遇到困难且难以自我解决。自动错误定位技术可以帮助程序开发人员定位错误,但现有错误定位技术的研究基于人工植入错误的开源项目或者工业程序,在包含真实错误的学生程序上定位错误精度不高。为了提升自动错误定位技
论文部分内容阅读
学生在线编程评测系统(Online Judge System,OJ)被广泛应用于程序设计的教学之中。但现有OJ系统只返回程序是否正确。学生由于缺乏编程的实践经验,在独立定位程序发生错误位置的过程中经常遇到困难且难以自我解决。自动错误定位技术可以帮助程序开发人员定位错误,但现有错误定位技术的研究基于人工植入错误的开源项目或者工业程序,在包含真实错误的学生程序上定位错误精度不高。为了提升自动错误定位技术在学生程序上的定位精度,本课题从改进错误定位方法和测试用例生成两个角度开展研究。通过对学生程序分析发现,同一题目学生程序的错误语句类型通常相似。针对这一特征,本课题提出了基于错误语句频率的错误定位方法(Faulty Statement Category Frequency-Based Fault Localization,FSFFL),并在包含3958个错误的2411个学生程序上开展实证研究。实验结果表明,与基于频谱的错误定位技术相比,FSFFL可以有效提升在学生程序上的错误定位精度。在EXAM分数指标上,FSFFL最高可以提升37.30%。增加有效的测试用例是提升自动错误定位精度的另一种思路。本课题提出了一种面向错误定位的多目标优化测试用例生成方法(Multi-Objective Optimization-Based Fault-Localization Oriented Test Case Generate,MFTCG)框架。该方法以学生程序的历史提交作为训练数据,针对测试用例的错误定位能力和代码覆盖类别分别设计适应度函数,并通过多目标优化算法搜索适合错误定位的测试用例。为了验证该方法的有效性,本文在包含15037个错误的9283个学生程序的数据集上进行实验。实验结果表明,当使用基于频谱的错误定位技术进行错误定位时,MFTCG生成的测试用例可以在TOP-1指标上最多提升55.23%的错误定位精度。
其他文献
在探讨是否存在所有行动者都应该遵守的道德要求时,我们无法绕开实践理性有哪些根本原则这一问题。休谟主义者往往认为工具理性原则是实践理性唯一的原则,因此不存在所有行动者都有理由遵守的道德要求。对此观点的一个著名批评是,如果缺乏选择目的的标准,我们就无法判断在什么情况下,一个行动者可以算作违背了工具理性原则。休谟主义者试图通过对欲望进行限制或者对其给出不同的解释等方法来回答这一问题,但他们给出的解决方案
在国家提出科技强审以及抽水蓄能行业快速发展的背景下,X公司开展了“审计数字化转型”工作。因为审计资源有限,所以科学地确定经济责任审计被审对象及审计方向十分重要。为了应对经济责任审计资源配置不当的问题,通过整理2017-2019年X公司23份经济责任审计报告,以及2010-2019年相关公司财务数据等历史信息,首先形成了X公司下属抽水蓄能公司的画像数据集和预测数据集。依据X公司文件和“重要性水平”概
随着物联网的发展,各种可穿戴的柔性电子设备开始流行在人们的生活中。传统的纯无机压电材料虽然有较好的压电性,但因为其刚性较大无法用于柔性电子器件。纯有机压电材料虽然有较好的柔性,但其小的压电系数限制了在压电方便的应用。而材料复合,可以将二者的优点结合起来,使其既具备柔性,又有较高的压电系数。近来,一种新型铁电压电材料(C5H12NO)2PbBr4简称(ATHP)2PbBr4被发现,它具有较高的居里温
近年来,非线性偏微分方程得到了广泛的研究。非线性微分-差分方程(有时也称为晶格方程)作为非线性偏微分方程的空间离散对应形式,因其可用于描述不同领域的各种物理现象,同样引起了人们的广泛关注。离散Toda晶格方程是Lax可积的非线性微分-差分方程的第一个例子,它可以描述晶格中在指数形式相互作用力作用下的粒子运动。Toda晶格方程对研究晶格中格子动力学中的非线性波、遍历理论等都有很好的理论意义。本文以2
基于视觉的环境感知技术被应用于日常生活中的各个方面,具有重要的研究价值与现实意义。伴随着应用场景的复杂化,目标识别与跟踪等环境感知能力也要相应满足更高要求。但现存目标识别与跟踪技术在室内遮挡与室外开放等场景的精度及速度尚不能满足实际需求,无法出色地完成环境感知任务。本文利用深度卷积网络技术对武装人员及枪械等动态武装目标的识别与跟踪算法展开研究,提高视觉感知算法在实际场景应用中的有效性及鲁棒性,主要
随着城镇化和经济的快速发展,住宅建筑面积增长迅速,导致了住宅建筑的耗电量和二氧化碳(CO2)排放的急剧增长。因此住宅建筑的用电分析及其预测研究对建筑的节能和可持续发展具有重要意义。本文以住宅建筑的天气、温度和湿度以及用电量作为研究对象,通过研究基于数据包络分析(Data Envelopment Analysis,DEA)的Malmquist指数和基于贝叶斯优化算法(Bayesian Optimiz
近些年,随着微波集成电路的发展,对不同模块之间和不同层或同一层微波传输线之间的互连提出了越来越高的要求。选择一种合适的互连过渡方式有利于将不同优点的传输线集成于同一微波系统中以实现更好的性能,同时可以改变信号传播的方向以实现微波器件小型化。同时,第五代移动通信技术(The Fifth Generation,5G)的快速发展也要求滤波器具有适用于5G的性能指标。针对以上应用需求,本文的主要内容是微波
图像配准是指通过寻找最佳的空间变换关系,让两幅不同成像条件下获取的图像实现最佳对准的过程。近年来图像配准技术蓬勃发展,在医学、材料力学以及遥感等领域已经得到了广泛应用。其中遥感领域的配准是遥感图像解译的基础性工作,只有在对图像精确配准之后才可以进行后续的图像融合、变化检测等操作。光学遥感影像通常分辨率高,可以提供地面目标更丰富的细节信息,所以针对光学遥感影像的图像配准技术成为了遥感技术的探究重点之
滚动轴承的健康运行对机械设备的安全具有极其重要的作用,为防止滚动轴承失效而导致机械故障,通过对滚动轴承退化机理进行研究,实现对其剩余寿命的预测,已成为制造行业研究领域中的热点问题。本文通过分析滚动轴承的振动信号,研究了基于自编码器的特征融合方法,基于Bi LSTM-CRF的轴承剩余寿命预测方法。本文主要研究工作如下:1)基于轴承的失效形式、退化规律和主流的振动信号特征提取研究,通过分析并提取轴承的