ソフトウェア工学

石尾隆 先生

奈良先端科学技術大学院大学　先端科学技術研究科　先端科学技術専攻　情報科学領域

バグの悪循環を断つため、誰のソフトウェアを修正すべきか分析

このようなソフトウェアの利用関係は、生物が別の生物を食べるといった具合にどんどん広がる、生きものの世界の食物連鎖によく似ています。私はこれをソフトウェアの生態系と呼んでいます。

この悪循環と言っていいバグの連鎖を食い止めるにはどうすればいいでしょう。一般的にソフトウェアのバグの８割が２割の場所に集中しているといわれます。私たちはこのようなソフトウェアの利用関係を追跡し、自分たちが利用しているソフトウェアがどこからやってきたのかを探し出し、バグの修正を受けるべきかを明らかにする技術の開発を行いました。この技術は、これまでの技術だと分析に一週間くらいかかっていたものを、わずか数時間程度にまで高速化しています。

ソフトウェアの生態系を見える化

この技術を使って、具体的に約350個のソフトウェアを解析し、ソフトウェアの利用関係図としてこれらのソフトウェアの生態系を可視化しました。これにより、どのソフトがたくさんのソフトを支えているか、つぶさに調べることができるようになりました。

このような利用関係がソフトウェアの間に存在して、ソフトウェアを蝕むバグが連鎖的に広まることは、ソフトウェア開発に携わる技術者は経験的に知っていることでした。しかしそれを数値として迅速に取り出せるようにしたことで、今後、なぜこんな連鎖反応の悪循環が起こるのか、理論的に解明できると期待されます。

ソフトウェアは作れば作るほど、次の新しいソフトウェアのヒントや材料になります。またそのソフトウェアを使えば使うほど、次のソフトウェアへの要求も高まり、ソフトウェアの生態系が広がっていきます。それは1つ間違えればバグの悪連鎖も生み出しもしますが、より新しくて面白いソフトウェアの土台にもなります。　

私たちの研究成果をもとにして、世界中のプログラマーが協力しあって、安全なソフトウェアを作る。そんな創造的な活動が展開されることを目指しています。

◆先生は研究テーマをどのように見つけたのかを教えてください。

私自身はプログラミングが大好きで、大学生のときから自分で作ったソフトウェアを公開したり、アルバイトで会社の仕事に使われるようなソフトウェアを作ったりしていました。しかし、新しいソフトウェアを作るというのは、非常に楽しいと同時に大変な作業でもあります。良いソフトウェアを手軽に作る方法を「自分が知らないだけでどこかにはあるのだろう」と探して回った結果、どうやらそんな都合のよいものはないらしい、仕方がないので作っていこう、というのが研究の最初のきっかけです。

◆石尾先生の研究室のHPはこちら