
软件工程
文章平均质量分 78
cxt707259130
这个作者很懒,什么都没留下…
展开
-
Automated Patch Correctness Assessment: How Far are We?文章记录
Automated Patch Correctness Assessment: How Far are We?自动补丁正确性评估:我们还有多远?摘要基于测试的自动程序修复(APR)引起了业界和学术界的极大关注。尽管最近的研究取得了重大进展,但过度拟合问题(即生成的贴片看似合理,但过度拟合)仍然是一个长期存在的重大挑战。因此,无论是在补丁生成阶段,还是在APR技术的评估中,已经提出了许多技术来评估补丁的正确性。然而,现有技术的有效性尚未得到系统的比较,对其优缺点知之甚少。为了填补这一空白,本文进行了大规原创 2022-03-07 14:32:25 · 425 阅读 · 0 评论 -
缺陷修复提升补丁质量
缺陷修复提升补丁质量补丁过滤、验证1.Refining Fitness Functions for Search-Based Program Repair–改进基于搜索的程序修复的适应度函数在本文中,我们提出了 2Phase,这是一种用于基于搜索的自动程序修复 (APR) 的新适应度函数。2Phase 考虑测试用例失败的预期值和实际值之间的差异来对程序变体进行排名。在这项工作中,在 Gin 基因改进框架内实施了 2Phase 以及其他两个最先进的适应度函数,并根据经验评估了超过 16 个有缺陷的程序,原创 2022-01-15 13:02:31 · 625 阅读 · 0 评论 -
现代软件工程--软件测试报告
软件测试论文自动化测试只要可能,单元测试都应该自动化,这样就可以在不需要人工干预的情况下运行和检查测试。在自动化单元测试中,您可以使用测试自动化框架(如JUnit)来编写和运行程序测试。单元测试框架提供了通用的测试类,您可以通过扩展这些类来创建特定的测试用例。然后,他们可以运行您已经实现的所有测试,并通常通过一些GUI报告测试的成功情况。自动化测试组件设置部分,您在其中用测试用例(即输入和预期输出)初始化系统。调用部分,在这里调用要测试的对象或方法。断言部分,将调用的结果与预期的结果进行比较原创 2022-01-14 10:36:29 · 415 阅读 · 0 评论 -
TBar:重新访问基于模板的自动程序修复
TBar:重新访问基于模板的自动程序修复摘要我们回顾了基于模板的APR的性能,以构建关于修复模式有效性的全面知识,并强调了补充步骤(如故障定位或提供者代码检索)的重要性。为此,我们首先对文献进行调查,收集、总结和标记常用的修复模式。在调查的基础上,我们构建了tbar,一个简单的APR工具,系统地尝试将这些修复模式应用于程序错误。我们在Defects4J基准上对TBar进行了全面的评估。特别地,我们评估了修复模式的实际定性和定量多样性,以及它们在生成似是而非或正确斑块方面的有效性。最终,我们发现,假设一个原创 2021-11-26 21:03:18 · 1667 阅读 · 0 评论 -
软件测试论文记录
1.A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each论文目录摘要文章评估了两个研究问题:“有多少bug可以自动修复?”以及“自动修复一个bug需要多少钱?”提出了genprog,它使用遗传编程来修复现有C程序中的缺陷。为了回答上述问题:(1)提出新颖的算法改进GenProg允许它规模大的项目,发现维修多68%(2)利用GenProg,使用云计算资源(3)生成一个大型的、指原创 2021-10-15 22:03:29 · 385 阅读 · 0 评论 -
JDK1.7的下载以及安装;JDK1.8->JDK1.7
2021.10.09学习记录由于eclipse要加载新的工程项目,需要下载安装JDK1.7,在这里记录一下过程。1.了解到到官网下载JDK1.7需要账户,所以我就在优快云上下载了,这里还被坑了一把,作者标注了 64位版本,实际却是32位版本的,浪费了一些时间(emo中…)32版本长这样:64版本长这样:2.重新下载之后,一切顺利。安装过程截图如下:jdk安装目录可自己更改。中间有一次出i问题,最后安装目录为E:\jdk641.73.注意环境变量的变化,需要改变三个地方的路径:4原创 2021-10-09 21:41:27 · 1402 阅读 · 0 评论 -
2021.9.30学习记录
一、 记录写一篇英文文章注意事项1、应该找几篇顶级杂志和想投杂志的英文文章,按照句式仿写2、 “科研者之家”软件有句式模板 https://www.home-for-researchers.com/static/index.html3、之后可以用essay writing 4、最后可以找人花钱润色(有钱人的做法)5、一个后期检查语法问题的网站,Grammarly。二、英文表达1.which的使用写长句子,which可代指前面提到的名词eg1:Program evolution a原创 2021-10-09 21:22:29 · 556 阅读 · 1 评论