正常なソフトからコードを転送してバグを修復するシステム、MITが開発

Charlie Osborne (Special to ZDNet.com) 翻訳校正: 川村インターナショナル 2015年07月02日 17時05分

  • このエントリーをはてなブックマークに追加

 マサチューセッツ工科大学(MIT)のチームは、「ドナー(「臓器提供者」の意)」プログラムを使ってオープンソースプログラムの機能性を向上させ、システムエラーと脆弱性を減らす方法を考案した。

 「Automatic error elimination by horizontal code transfer across multiple applications」(複数のアプリケーションをまたいだ水平コード転送による自動エラー除去)と題された論文の中で、MITの研究チームは「Code Phage」システムについて説明した。同システムは、ドナーとなるプログラムから、バグのあるコードやエラーを含むほかのアプリケーションに自動的にコードを転送する。

 テスト中、MITのチーム(Stelios Sidiroglou-Douskos氏、Eric Lahtinen氏、Fan Long氏、Martin Rinard氏)は7つのドナーアプリケーションを使って、受け取り側の複数のオープンソースプログラムに存在していた計10個のエラーを解消した。

 「(Code Phageは)ソースコードも記号情報も不要でバイナリドナーと連携するので、幅広いユースケースに対応できる。われわれの知る限り、Code Phageは複数のアプリケーションをまたいで自動的にコードを転送できる初めてのシステムだ」(同チーム)

 Code Phageが分析を開始するためには、2つのサンプル入力が必要となる。エラーを引き起こす入力と、エラーを引き起こさないシード入力だ。その後、Code Phageはアプリケーションデータベースを利用して、両方の入力を適切に処理できるドナープログラムを特定する。

 「ドナーには判断基準となる部分があり、受け取り側にはそれがない。これにより、エラーを引き起こす入力を適切に処理することが可能になるというのがわれわれの仮説だ。目標は、その部分をドナーから受け取り側に転送する(そして受け取り側のエラーを取り除く)ことだ」(同論文)

 この判断基準が特定されたら、Code Phageはドナーの条件分岐を調べて、シード入力とエラーを引き起こす入力に関して、異なる方向に進む分岐を見つける。その後、Code Phageはエラーを修正する正しい分岐を検出し、そのバグを修復するパッチを自動的に作成する。そして、このパッチが適用され、テストされる。

 MIT研究チームによると、Code Phageは整数オーバーフローや境界を越えたアクセス、ゼロ除算エラーなどのエラー修正に使用できるという。

この記事は海外CBS Interactive発の記事を朝日インタラクティブが日本向けに編集したものです。

ZDNet Japan 記事を毎朝メールでまとめ読み(登録無料)

  • このエントリーをはてなブックマークに追加

この記事を読んだ方に

関連ホワイトペーパー

連載

CIO
IT部門の苦悩
Rethink Internet:インターネット再考
インシデントをもたらすヒューマンエラー
トランザクションの今昔物語
エリック松永のデジタルIQ道場
研究現場から見たAI
Fintechの正体
米ZDNet編集長Larryの独り言
大木豊成「仕事で使うアップルのトリセツ」
山本雅史「ハードから読み解くITトレンド放談」
田中克己「2020年のIT企業」
松岡功「一言もの申す」
松岡功「今週の明言」
内山悟志「IT部門はどこに向かうのか」
林 雅之「デジタル未来からの手紙」
谷川耕一「エンプラITならこれは知っとけ」
大河原克行「エンプラ徒然」
内製化とユーザー体験の関係
「プロジェクトマネジメント」の解き方
ITは「ひみつ道具」の夢を見る
セキュリティ
「企業セキュリティの歩き方」
「サイバーセキュリティ未来考」
「ネットワークセキュリティの要諦」
「セキュリティの論点」
スペシャル
ざっくりわかるSNSマーケティング入門
課題解決のためのUI/UX
誰もが開発者になる時代 ~業務システム開発の現場を行く~
「Windows 10」法人導入の手引き
ソフトウェア開発パラダイムの進化
エンタープライズトレンド
10の事情
座談会@ZDNet
Dr.津田のクラウドトップガン対談
Gartner Symposium
IBM World of Watson
de:code
Sapphire Now
VMworld
Microsoft WPC
Microsoft Connect()
HPE Discover
Oracle OpenWorld
Dell EMC World
AWS re:Invent
AWS Summit
PTC LiveWorx
より賢く活用するためのOSS最新動向
古賀政純「Dockerがもたらすビジネス変革」
中国ビジネス四方山話
ベトナムでビジネス
米株式動向
日本株展望
企業決算