Innopolis大学工业软件开发实验室的副教授Ju Yong Lee提供了错误修复快速自动化领域的最佳研究，并入围了Facebook测试与验证研究奖的前十名。 总共有145位来自世界各地的研究人员发送了申请赠款的申请。 这位科学家向我们介绍了他的研究工作。
关于研究
我想立即清楚地指出什么是软件测试。 它的主要目的是在程序中查找软件开发人员未编写的错误。 如果测试成功，则可以肯定地说您的程序已准备好发布。
在软件中查找错误似乎并不那么困难，特别是如果开发人员已经具有使用错误的经验。 是的，有些错误很容易被发现和发现，但是开发人员通常看不到漏洞，即使经过认真的工作也可以被黑客发现。 通过测试，我们希望在由于安全违规和车祸而成为事故受害者之前发现错误。 据美联社报道，在2000年至2010年期间，有89人因丰田汽车中的软件错误而死亡。
该项目的主要目标是自动纠正程序中的技术缺陷或错误。 几乎所有软件都包含错误，尤其是随着持续开发，测试和实施过程的到来。 现在，开发人员及时修复错误变得越来越困难。 因此，有必要尽可能地保护软件免受缺陷的侵害，包括我在内的许多研究人员都在尝试寻找解决方案并开发一种用于自动故障排除的方法。 在这个特定的项目中，我尝试提高自动纠正技术错误的速度，以最大程度地减少发现和消除技术错误之间的时间。
自动修复技术错误的方法已经包括我在内的许多研究人员进行了测试。 最初的结果已为业界所接受，Facebook之类的公司已经开始使用自动消除错误的程序，例如错误的指针（指示不存在的单元格）。
它决定什么
每个人都有自己的利益。 我对编程语言，软件验证和测试感兴趣；所有这些与对计算机程序的理解密不可分。 不久前，自动纠错对我来说已经成为一个独立的研究主题。 我认为，将来该软件将由人工智能创建，这将使开发人员可以将更多的时间用于关键软件组件上。
在过去的十年中，由于包括我在内的开发人员的努力，自动纠错取得了巨大的飞跃。 我致力于改进自动生成的补丁和自动修复的错误。 我认为我们需要的下一个突破是更快的速度。 到目前为止，人们一直认为自动纠错将在批处理模式下使用，因此速度问题并不是头等大事。 开发人员开始自动纠错并回家。 第二天早上，整夜自动调试的区域可供查看。 但是经验表明，最好是在编写错误程序后立即纠正错误，而开发人员仍然记得他在那写的内容。 因此，我提出了一种高速自动纠错的研究。
竞争者
这是一项国际赠款，来自世界各地的研究人员提供了研究。 Facebook收到了145份申请，并选择了包括我在内的10名获奖者。 这个数字（6.9％）表明，与在顶级会议上获得资助相比，竞争更加激烈，而顶级会议上批准的申请比例通常为20％。
所有10位获奖者及其研究成果都发布在
Facebook Research上 。 获奖者是来自著名大学的著名研究人员：卡内基梅隆大学，伦敦大学学院，加州大学伯克利分校和柏林洪堡大学。
进一步的计划
自动化的错误恢复仍然是一个年轻的领域，还有很多事情值得努力。 我们需要一种可以更准确，更快速地解决更多错误的方法，我计划朝这个方向努力。 将来，我希望看到人工智能不仅能够纠正错误，而且可以在整个过程中为开发人员提供帮助。
像许多其他学术研究一样，自动消除技术错误领域的项目无法通过一项研究来解决。 为了使该想法成为现实，必须考虑许多方面。 正如我所说，我专注于消除技术错误的速度，但是速度只是解决问题的一个维度。 其他度量包括错误识别成功率，故障排除准确性等。 在科学和技术领域，改进一个维度有助于另一个维度的发展，这是我将来计划要做的-继续扩大各个维度技术问题自动解决方案的范围。
至于这种技术的适用性，我以前曾在自动编写学生编写的程序的反馈信息时使用过它。 这种所谓的智能辅导系统是可以应用研究成果的领域之一。