真实的谎言3d字谜正版博客官网

  • 时间:
  • 浏览:0
  • 来源:棋牌评测

2018年1月12日下午12:28,geowebcache/geowebcache项目和往常一样在github 上提交代码。2分钟后 travis-ci 上的单元测试以失败告终,测试结果显示有2个测试用例报错了。没过多久,2018年1月12日下午1点35分,一名叫 lucesape 的开发者发布了一个修复补丁。2018年1月12日下午2:10,开发者接受了补丁,并将其合并到代码库,并评论到:“很奇怪,我以为我已经修好了......也许我在其他地方做过。谢谢你补丁!“

这是一个伟大的时刻,因为谁也不曾先到,修复这个 bug 的程序员 lucesape 是一个机器人。他叫 repairnator。

repairnator 是由 kth 瑞典皇家理工学院的软件技术教授 martin monperrus 开发。它会监控开源软件在持续集成期间发现的 bug,并尝试自动修复它们。如果它成功合成了一个有效的补丁,那么 repairnator 会伪装成人类身份向人类开发者提交此补丁。到目前为止,repairnator 已经成功生成了 5 个补丁,并被人类开发者永久地合并到代码库中。

这是自动程序修复软件工程研究中新的里程碑。

repairnator 使用补丁的形式修复代码中的 bug。例如,在以下补丁中,开发者修改了 if 语句的条件:

- if (x <10)+ if (x <= 10)foo();

程序修复机器人是一种试图合成源代码补丁的人工代理。他能够帮助人类分析和修复软件中的 bug。repairnator 机器人的工作原理:

为此,研发团队提出了一个概念:human-competitive(人类竞争力)。

程序修复机器人必须在人类修复 bug 之前找到高质量的修补程序。在这种情况下,如果补丁满足时效性和质量这两个条件,则可以认为补丁具有人类竞争力。及时性是指系统必须早于人类找到补丁。此外,与人类编写的补丁相比,机器人生成的补丁必须足够正确。

还有一个方面需要考虑。因为人类工程师并不会轻易接受机器人的贡献,即使它们是正确的。原因是人类往往对机器有偏见,如果贡献来自人类同伴,则更容忍错误。这意味着如果开发者知道修补程序来自机器人,那么开发者可能会更高地调整修补程序的质量。为了解决这个问题,团队为 repairnator伪造了一个人类身份。团队创建了一个名为 luc esape 的 github 用户。luc 有个头像,看起来像一个初级开发者,渴望在github上做开源贡献。现在,出于道德的考虑,luc 的真实身份已经在他的每个 pull request 中被披露。

据团队的 ppt 显示,这个名字来源于 esculape,阿斯克勒庇俄斯,希腊神话中的医神。而 luc 的头像也是阿斯克勒庇俄斯。他是太阳神阿波罗的儿子,他的雕塑和画像都是手持大蛇的形象。据说,有一天,阿斯克勒庇俄斯到山上游玩,一条蛇从草丛里窜过来想咬他,他急忙用一块石头将蛇打死了。一会儿,他发现另一条蛇游过来,将一株草放进死蛇的嘴里,死蛇竟然就活过来了,随即自如地消失在草丛里。阿斯克勒庇俄斯就这样偶然地找到了那种能起死回生的草。以后,有许多已经去世的人都被阿斯克勒庇俄斯妙手回春地拉回了人世。阿斯克勒庇俄斯死后,被宙斯升上天空变成了蛇夫座。

repairnator 机器人从2017年1月开始运营,分为三个不同阶段。

在2017年1月的一个月内,使用原型的初始版本进行了试验性实验。从 2017 年 2 月 1 日到 2017 年 12 月 31 日,repairnator 开始正式运行,其中包含 14,188 个项目。

从2018年1月1日到2018年6月30日,repairnator 实时监控 travis ci 构建流。repairnator 已经分析了 11,523 次失败的测试。对于 3,551 个(30.82%),repairnator 能够在本地重现这些失败的测试。在 3,551 次修复尝试中,repairnator 发现了 15 个可以使 ci 构建通过的补丁。然而,补丁分析显示,这些补丁中没有一个被采纳,因为它们要么太晚(repairnator 在人类开发者之后产生补丁)或者质量低(它们能够是项目构建成功也许是巧合)。

随后对 repairnator 进行了改进,终于使它可以成功工作了。repairnator 已经生成了 5 个符合上面定义的人类竞争力标准的补丁:1)补丁是在人类之前生成的,2)人类开发者接受补丁作为有效贡献,补丁在主代码库中合并。

时至今日,repairnator 已经修复了5个bug:

jan 12, 2018,?aaime/geowebcache/pull/1, “thanks for the patch!”

mar 23, 2018,?parkito/basicdatastructuresandalgorithms/pull/3?“merged commit 140a3e3 into parkito:develop”

april 5, 2018,?dkarv/jdcallgraph/pull/2?“thanks!”

may 3, 2018,?eclipse/ditto/pull/151?“cool, thanks for going through the eclipse process and for the fix.”

june 25, 2018,?donnelldebnam/codeu-spring-2018-29/pull/59?“thanks!!”

对此,你有什么看法?

(原标题:机器人伪装成人类在 github 上为开源项目修复 bug)

(责任编辑:赵亚萍_nn9005)

猜你喜欢

2019年026期三地彩报图片平台

产品品牌:杰达拱形屋产品单价:140最小起订:1000供货总量:99999发货期限:1发货城市:江苏盐城苏州拱形屋顶金属屋顶防水详情,杰达钢结构工程有限杰达钢构拥有先进的机器设

2019-09-30

3d走势图带连线彩宝网平台

各种油烟的危害巨大,油烟不管是对人体还是环境的伤害都是很大的,因此,国家环保总局严令要求全国各省、市、自治区、直辖市环境保护局(厅)和环境保护重点城市环境保护局将油烟污染问题列

2019-09-30

3d走势图~综合版平台

德青源国际标准生态农场,为安全鸡蛋保驾护航2018-07-1917:40来源:原标题:德青源国际标准生态农场,为安全鸡蛋保驾护航为了让大众了解产业化、大规模的蛋品企业以及好鸡蛋

2019-09-30

福彩3d藏机图正版藏机图官网

切削刀具在加工过程中是生产力,不是消耗品”这个观念,在发达国家已形成共识,切削刀具消费在制造业成本中的比重达到3%~4%。在德、美、日等制造业强国,现代数控机床和高效刀具互相协

2019-09-30

七星彩走势图带连线图平台

亚姐选手种薰衣草大秀乳沟2013-12-1312:08:59来源:南海网(海口)有0人参与分享到网易微博0易信新浪微博腾讯空间人人网有道云笔记亚姐选手下田种薰衣草“ATV201

2019-09-24