生产驱动的补丁生成与验证
软件工程
2018-06-13 v2
摘要
我们设想这样一个世界：开发者每天早晨会在其 GitHub 仪表板中收到一份可修复某些生产环境故障的潜在补丁列表。为此，我们提出了一种新颖的程序修复方案，其独特之处在于可直接应用于生产环境。我们介绍了一个针对 Java 的原型系统 Itzal 的设计与实现，该系统对生产环境中的未捕获异常执行补丁生成。我们进行了两项实证实验来验证我们的系统：第一项实验基于来自 14 个不同软件应用的 34 个故障，第二项实验基于 3 个真实开源电子商务应用中的 16 个植入故障，我们为这些应用设置了真实的用户流量。这验证了直接在生产环境中使用程序修复这一新颖且具有突破性的想法。
引用
@article{arxiv.1609.06848,
title = {Production-Driven Patch Generation and Validation},
author = {Thomas Durieux and Youssef Hamadi and Martin Monperrus},
journal= {arXiv preprint arXiv:1609.06848},
year = {2018}
}