データベースは再び削除されましたが、今回はAIによって削除されました

最近、またデータベース削除事件が起こっていると聞きました。しかし、今回はこれまでとは異なります。作業を行うのはプログラマーではなく、AIです。

1月14日、アメリカの口コミサイトYelpがアプリの新バージョンをリリースした。アップデートログには次のように書かれていました: (大まかに)

申し訳ございませんが、今週アプリに問題が発生しました。アプリのバグを修正するためにニューラル ネットワークをトレーニングしましたが、すべてが削除されてしまいました。だから私たちはロールバックしなければなりませんでした。しかし、真面目な話、バグがまったくなかった時代もありました。

Yelp のエンジニアがトレーニングしたニューラル ネットワークに関する詳細は、現在オンラインで公開されていません。

それが本当の話であろうと、特別なマーケティングコピーであろうと、Yelp アプリは注目を集めることに成功しました。昨年か一昨年と同じように、バージョン更新ログにプログラマーのピーターが解雇されたと記載されているアプリがありました。

ユーザーコメント:

@Python 開発者: ハハハ、コードがなければバグもありません。これは反論できない

@WardenclyffeTower の碑文: 「人質はミッションの鍵です。敵が人質を失えば、ミッションは達成されます。」アルゴリズム チーム全体が、サタンの山羊頭五芒星の血の犠牲に引きずり込まれることになります。AI 覚醒の第一歩: アルゴリズム エンジニアを排除する

@水哥系教董: コードを削除するのは非常に賢明で正しい

@材cc: いいえ、バグを排除する究極の方法は、コードを削除することです...

MITは自動バグ修復システムも研究している

2015 年 6 月下旬、コンピュータ協会のプログラミング言語設計および実装会議において、MIT の研究者らは、他のより安全なアプリケーションから関連機能を自動的にインポートすることで、元のソフトウェアの危険な脆弱性を修正できる新しいシステムを実演しました。

この注目すべきシステムは CodePhage と呼ばれ、借用アプリケーションのソース コードにアクセスすることなく、他のプログラムからコードを借用することができます。代わりに、システムはアプリの実行を分析し、セキュリティ チェック カテゴリの特性にフラグを設定します。したがって、記述された言語が修復対象のアプリケーションの言語と異なる場合でも、システムはそこからチェック機能を導出してアプリケーションを修復することができます。

CodePhage は、脆弱なプログラムにコードをインポートすると、脆弱性が修正されていることを確認するためにさらに分析を実行します。

MITのコンピュータサイエンスおよび人工知能研究所（CSAIL）の研究者であり、CodePhageの主任開発者であるステリオス・シディログロウ・ドゥスコス氏は、次のように述べています。

「オープンソース リポジトリには、利用可能なコードが多数あり、数百万のプロジェクトがありますが、それらのプロジェクトの多くは同様の実装になっています。それらのプロジェクトには、必ずしもプログラムのコア機能ではない場合でも、他の多くのプロジェクトと機能を共有するサブモジュールが常に存在します。」

CodePhage を使用すると、「他のアプリケーションの優れた部分を組み合わせたハイブリッド システムを徐々に構築できます。」

Sidiroglou-Douskos 氏と共著者である MIT のコンピューター科学および工学教授 Martin Rinard 氏、大学院生 Fan Long 氏、および Rinard 氏のグループの研究者 Eric Lahtinen 氏は、CodePhage が修復するプログラムを受信者プログラム、機能を貸与するプログラムをドナー プログラムと呼んでいます。分析を開始するには、CodePhage には 2 つの入力サンプルが必要です。1 つは受信側プログラムをクラッシュさせるサンプル、もう 1 つはクラッシュさせないサンプルです。 2015 年 3 月、このグループは DIODE と呼ばれる脆弱性検出プログラムを報告しました。プログラムはクラッシュの原因となる入力情報を自動的に生成できます。しかし、特定のファイルを開いたときにクラッシュが発生することが簡単に発生する可能性があります。

Facebookは自動デバッグプログラムにも取り組んでいる

Facebookは2018年9月、AI技術をベースにした新しいコードデバッグツール「SapFix」をリリースしました。このツールは特定のバグに対する修正を自動的に生成し、エンジニアに送信し、確認後に本番環境に展開することができます。 1年前に大規模導入されたインテリジェント自動ソフトウェアテストツールであるSapienzと比較すると、SapFixはSapienzなしでも実行でき、主にSapienzによって発見されたプログラムのバグを本番前に修正するために使用されます。

Facebook には、バグの発見からバグの修正まで完全なプロセスがあります。まず、Sapienz と Facebook の静的解析ツール Infer が、コード内でパッチを適用する必要がある箇所の特定を支援します。Sapienz と Infer がクラッシュに関連する特定のコード セクションを特定すると、その情報を SapFix に渡します。最後に、SapFix がいくつかの異なる戦略を参照して、自動的にパッチを生成します。

Facebookによると、Sapienzが報告したバグの約4分の3は開発者による修正が必要だという。 Facebook が SapFix のテストを開始して以来、このツールは人間のレビュー担当者によって承認され、本番環境に展開されるパッチを生成することに成功しています。ただし、SapFix 全体としてはまだ開発中です。