cxt707259130-CSDN博客

原创覆盖准则论文

111

2022-09-21 19:39:09 182 1

原创 S3：通过S3进行语法和语义指导修复合成：通过示例编程进行语法和语义指导修复合成

S3: Syntax- and semantic-guided repair synthesis via S3: Syntax- and semantic-guided repair synthesis via programming by examplesS3：通过S3进行语法和语义指导修复合成：通过示例编程进行语法和语义指导修复合成作者信息摘要一类著名的程序自动修复技术是基于语义的。这类技术，例如Angelix，通过符号执行推断语义规范，然后使用程序合成来构造满足这些推断规范的新代码。然而，获

2022-04-28 19:25:51 796

原创 c#学习笔记05-treeview中添加图标

创建树目录前面在学习笔记03中国已经提到过即树目录数据从XML文档中获取添加图标主要用到ImageList控件1.ImageList控件在树目录对应存在的窗体中添加此控件添加图标：2.treeview与ImaggeList的绑定程序中用到的xml文件（在bin/Debug/files目录下）：<?xml version="1.0" encoding="UTF-8"?> <nativeplace> <China text="中国" value="中国"

2022-04-07 19:33:23 3625

原创 c#学习笔记04-利用NPOI读取Excel文件并存到二维数组中，同时将Excel文件内容显示到dataGridView上

参考博客因在实现过程中遇到许多问题，记录一下1.找不到excel文件button1的点击事件里面修改一句代码原来：fdlg.Filter = "All files（*.*）|*.*|All files(*.*)|*.* "; 现在： fdlg.Filter = "Excel文件|*.xls;*.xlsx"; 2.未在本地计算机上注册“Microsoft.ACE.OLEDB.12.0”提供程序解决办法解决办法链接下载Access数据连接引擎链接: https://pan.b

2022-04-04 16:37:36 626

原创 c#学习笔记03-c#操作XML文档

1.创建XML并写入数据在Form1窗体里面拖进去button1，如图双击button1，在其点击事件里面写代码： private void button1_Click(object sender, EventArgs e) //生成 { //创建XmlDocument对象 XmlDocument document = new XmlDocument(); //xml文档的声明部分 Xm

2022-04-03 21:24:57 396

原创 C #学习笔记02-基本语法和数据类型

1.C# 基本语法C# 是一种面向对象的编程语言。在面向对象的程序设计方法中，程序由各种相互交互的对象组成。相同种类的对象通常具有相同的类型，或者说，是在相同的 class 中。例如，以 Rectangle（矩形）对象为例。它具有 length 和 width 属性。根据设计，它可能需要接受这些属性值、计算面积和显示细节。让我们来看看一个 Rectangle（矩形）类的实现，并借此讨论 C# 的基本语法using System;namespace RectangleApplication{

2022-03-31 15:30:10 133

原创 C #学习笔记01-用Hello World 实例举例

C #入门.NET两种交互模式C/S交互模式B/S交互模式创建C#项目控制台输出文本：using System;using System.Collections.Generic;using System.Linq;using System.Text;using System.Threading.Tasks;namespace ConsoleApp2{ internal class Program { static void Main(string[]

2022-03-31 14:56:22 198

原创机器学习与软件测试自动化

虽然软件开发和测试过程的自动化势在必行，但困难依然重重。我们还远没有达到全面自动化所需的技术水平。**即使是当今最先进的软件测试环境，机器学习是帮助批量处理代码集，在不需要解耦的情况下测试和解决大数据问题。**如果测试过程中出现错误，基于ML的多层结构化测试也会提醒相关用户标记问题，并继续完成自动测试过程。许多公司一直以来有成千上万的测试需要运行。代码的一个微小改动可能花费数个小时或者数天测试才能获得反馈结果。虽然通常来说测试越多质量越好，但是同时意味着反馈更慢。迄今为止，谷歌和脸书已经研发了机器学习

2022-03-31 11:39:11 858 3

原创 Identifying Patch Correctness in Test-Based Program Repair--基于测试的程序修复中补丁正确性的识别

Identifying Patch Correctness in Test-Based Program Repair–基于测试的程序修复中补丁正确性的识别

2022-03-30 20:37:07 813

原创 Context-Aware Patch Generation for Better Automated Program Repair -上下文感知补丁生成更好的自动化程序修复

上下文感知补丁生成更好的自动化程序修复文章记录摘要基于搜索的自动程序修复的有效性受限于能够成功生成的正确补丁的数量。造成这种限制的原因有两个。首先，搜索空间不包含正确的补丁。第二，搜索空间太大，无法生成正确的patch(即正确的patch要么是在错误的貌似正确的patch之后生成，要么是在预算的时间内没有生成)。为了增加在搜索空间中包含正确补丁的可能性，我们建议在AST节点方面以较细的粒度进行工作。然而，这将进一步扩大搜索空间，增加找到正确补丁的挑战。我们通过设计一种策略来根据候选补丁正确的可能性对其进

2022-03-21 15:44:23 459

原创 Automated Patch Correctness Assessment: How Far are We?文章记录

Automated Patch Correctness Assessment: How Far are We?自动补丁正确性评估：我们还有多远？摘要基于测试的自动程序修复（APR）引起了业界和学术界的极大关注。尽管最近的研究取得了重大进展，但过度拟合问题（即生成的贴片看似合理，但过度拟合）仍然是一个长期存在的重大挑战。因此，无论是在补丁生成阶段，还是在APR技术的评估中，已经提出了许多技术来评估补丁的正确性。然而，现有技术的有效性尚未得到系统的比较，对其优缺点知之甚少。为了填补这一空白，本文进行了大规

2022-03-07 14:32:25 319

原创缺陷修复提升补丁质量

缺陷修复提升补丁质量补丁过滤、验证1.Refining Fitness Functions for Search-Based Program Repair–改进基于搜索的程序修复的适应度函数在本文中，我们提出了 2Phase，这是一种用于基于搜索的自动程序修复 (APR) 的新适应度函数。2Phase 考虑测试用例失败的预期值和实际值之间的差异来对程序变体进行排名。在这项工作中，在 Gin 基因改进框架内实施了 2Phase 以及其他两个最先进的适应度函数，并根据经验评估了超过 16 个有缺陷的程序，

2022-01-15 13:02:31 530

原创现代软件工程--软件测试报告

软件测试论文自动化测试只要可能，单元测试都应该自动化，这样就可以在不需要人工干预的情况下运行和检查测试。在自动化单元测试中，您可以使用测试自动化框架(如JUnit)来编写和运行程序测试。单元测试框架提供了通用的测试类，您可以通过扩展这些类来创建特定的测试用例。然后，他们可以运行您已经实现的所有测试，并通常通过一些GUI报告测试的成功情况。自动化测试组件设置部分，您在其中用测试用例(即输入和预期输出)初始化系统。调用部分，在这里调用要测试的对象或方法。断言部分，将调用的结果与预期的结果进行比较

2022-01-14 10:36:29 358

原创 FixMiner:挖掘相关的修复模式以实现自动程序修复

FixMiner:挖掘相关的修复模式以实现自动程序修复–翻译记录Anil Koyuncu1·Kui Liu1·Tegawendé F. Bissyandé1·Dongsun Kim2·Jacques Klein1·Martin Monperrus3·Yves Le Traon1Springer Science+Business Media, LLC, part of Springer Nature 2020摘要打补丁是软件开发中的常见活动。它通常在源代码基础上执行，以解决bug或添加新功能。在这种

2022-01-02 20:54:14 1137

原创 TBar:重新访问基于模板的自动程序修复

TBar:重新访问基于模板的自动程序修复摘要我们回顾了基于模板的APR的性能，以构建关于修复模式有效性的全面知识，并强调了补充步骤(如故障定位或提供者代码检索)的重要性。为此，我们首先对文献进行调查，收集、总结和标记常用的修复模式。在调查的基础上，我们构建了tbar，一个简单的APR工具，系统地尝试将这些修复模式应用于程序错误。我们在Defects4J基准上对TBar进行了全面的评估。特别地，我们评估了修复模式的实际定性和定量多样性，以及它们在生成似是而非或正确斑块方面的有效性。最终，我们发现，假设一个

2021-11-26 21:03:18 1392

cxt707259130的博客