-
ソフトウェアのバグを見つけて質の高い修正パッチを高速かつ自動的に生成するボットが作れたら、開発者にとってこの上ない朗報であろう。スウェーデン王立工科大学の研究チームは、「リペアネーター」と呼ぶボットを開発し、GitHub上で修正パッチの作成を人間と競うテストを実施した。
「この世で死と税金のほかに、確実と言えるものは何もない」。米国の有名な政治家であり、発明家、物理学者であったベンジャミン・フランクリンは1789年にそう記した。フランクリンが現代の世に生きていたら、その2つに「ソフトウェアのバグ」を付け加えたことだろう。
現代のコンピューター・プログラムは複雑さを増しているため、開発過程でバグが生じるのは避けようがない。そのため、バグを見つけ、修正パッチを書くプロセスは、どんなソフトウェア開発のスケジュールにも普通に組み込まれている。トラヴィス（Travis）など、その手のサービスを開発者に提供している企業も実際にある。
今日、ストックホルムにあるスウェーデン王立工科大学のマーティン・モンペラス教授らの研究のおかげで、開発者たちの夢が実現している。モンペラス教授らは、バグを見つけ、質の高いパッチを書くのを人間の開発者と競えるようなボットをついに作り出したのだ。
研究チームが「リペアネーター（Repairnator）」と名付けたボットは、人間の開発者と修正部分の発見を競うテストにおいて成功を収めた。「プログラムの自動修正に関するソフトウェア工学の研究において、人間に匹敵するボットを作るためのマイルストーンとなるでしょう」とチームは述べる。
パッチを書くプロセスが自動化できることは、コンピューター科学者の間では長く知られている。だが、ボットが人間と同じくらい速さと品質でパッチを書けるかどうかは明らかではない。
https://www.technologyreview.jp/s/109502/a-bot-disguised-as-a-human-software-developer-fixes-bugs/
- 仕様とバグの切り分けが難しそうだな
- >>2
ちゃんと質問してくれるんじゃない？
で、「違う、そうじゃない」
というと、ちゃんと意向に沿った修正が行われるとか - デバッグもAIがやる時代なのか！
- 元気があれば何でも出来る
- 最後には更地になるんですね？
- リペアネーターをリペアネーターにかけてみよう…
- 単純ミスなら直せるタイプのものもあるだろうけど、
取捨選択が必要な修正変更もあるけどな。 - リペアネーター vs apatch
- そのうち仕様書だけでプログラミングしてくれるAIができるだろうな
- >>10
「仕様がいい加減なためにコーディング不可能です」なんてエラーが大量発生ｗ
そして、仕様書をデバッグするプログラムが。 - >>24
結局そういうのってPythonで書けば十数行で済むものを
何十ページも使って記述するはめになるよな
しかも最終的にはそれをプログラムに再翻訳 - >>24
それはもうソフトを作るところまでできるじゃん。 - MS Windows バグも直るのか
- 岐阜ハブ、毒蛇？
- 生産性が上がるのか、程度の低い技術者が淘汰されるのか
- 並列スレッドのタイミングで1/1000程度の頻度で発生するバグの修正を頼む…
- >>14
それ最低限の時間サンドボックスで動かすしかないんじゃないか？
(メモリ使用量、使用アドレス 、I/Oのタイミングとか) - デバッグして適切なコードを提示してくれるなら有難いけど、コーダーが失業するかもしれんね。
- ビルドエラーと何が違うのだろう？
- ビルドエラーが発生する行はコメントアウト。これでとりあえず動くものはできる。しかし当然要求仕様は満たせない。
- バグを修正するのか、パッチを作成するのか良くわからない文章だな
- >>1
こうして考えるのを諦めた人類は滅びていくのであった - そもそもその動作がバグかどうかってどう判定してるんだろう？
- 人間は奴隷しか要らなくなる
- GitHub上の全てのバグ修正の内容を学習させたら最強のAI作れないの？
- C/C++ならメモリーリークとか、インデックスオーバーフローとかの類は
既に自動的に見つけてくれるデバッガーがあるよね。 - BUGUバグ武具バグ？
- 仕様なんて人間が自分の狭い知見のなかで考えてるものだから進めていくと周辺との矛盾が出まくって破綻する。
いずれ人間の生命活動はもとよりこの世の森羅万象の動きをフレームワーク化したライブラリが開発されるので自分の関係するところだけ上書きすればよいし、どんな風に上書きすればよいかも全てライブラリ化されている。
当然、まだ世の中に出ていない新しい概念やビジネスモデルなどもライブラリ化されている。
まあ、このプラットフォームを考えるのは人間には無理なのでAIが開発することになる。
すべてのプログラマーが今みたいな非生産的な作業から解放された素晴らしい時代になっている。 - ベンザミンの一説を出せばアホな記事がかっこよくなる的なミエミエ戦法かよ
- プログラマーの給与を下げたいのだろう。そんで危機感煽る作戦。
- OSI第8層を解決してくれるボットがスカイネットなのか
- オッサンだから未だにperlメインだわ
- GitHubの出現で、プログラマ辞めた
- アスカ
- GitHubはマイクロソフト傘下
マイクロソフトのパッチの品質上げてくれ - テスト書いてなくてもやってくれるんかな
- findbugsとか前からある
- 仕様書を精密に書く必要があり、それそのものがプログラムと変わらなかったりな
- if flg = 1
syori.A();
syori.B(); - ギフハブスレかな
- >>41
何を言ってる全くわからないのでギフハブの暗号通信スレだと思うσ(^◇^;) - circleCIも前から連携できた
- 仕様云々書いてる人はあほなん？
- これが出来たらコーダー土方が開放されて
もっと高度な設計に移動だな
なんちゃって仕様を書くだけの上司が下克上で要らなくなるww
コードも読めない設計者は仕事無くなる - 5ちゃんってプログラマーめちゃいるな
- LD SP,0h
LD A,0h
LD H,A
LD L,A
L:PUSH A
DEC HL
JP NZ,Lこれ、バグだと見られるだろうか
- // よくわからんけど、ちょっとwait
// なぜか2回やるとうまくいく
【プログラミング】GitHub上でバグ修正競争、人間の開発者上回るボットが登場
ニュー速＋
コメント一覧