Project/Area Number |
17700029
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Single-year Grants |
Research Field |
Software
|
Research Institution | Nagoya University |
Principal Investigator |
濱口 毅 Nagoya University, 大学院・情報科学研究科, 助教 (90273284)
|
Project Period (FY) |
2005 – 2007
|
Project Status |
Completed (Fiscal Year 2007)
|
Budget Amount *help |
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 2007: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2006: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2005: ¥900,000 (Direct Cost: ¥900,000)
|
Keywords | ソフトウェア移植 / 代数的仕様 / ソフトウェア開発 / 代数的仕様記述 / プラットフォーム / ライブラリ |
Research Abstract |
本年度は、代数的仕様を利用したソフトウェア移植支援法の確立をめざし、以下の研究を行った。 1.プラットフォーム仕様記述の抽出 移植対象となる複数のプラットフォームについて、ライブラリ関数の仕様情報を抽出する方法を提案した。また、本方式に基づく仕様情報抽出ツールを実現した。本方式ではマニュアルからライブラリ関数の仕様を抽出する。対象とするマニュアルの形式はWindowsのヘルプファイルとUNIX系OSのマニュアルページであり、多くのプラットフォームの仕様情報を抽出することができた。 2.プラットフォーム仕様の差分提示ツールの作成 前項のツールによって抽出したライブラリ関数の仕様から、異なるプラットフォームに存在する類似した関数を探しだし、その差分を提示するツールを作成した。 3.ソフトウェア移植支援ツール 移植対象となるプログラムに対して変更が必要となる場所を指摘するツール作成した。移植対象となるプログラム中で使用されているライブラリ関数が移植先プラットフォームで提供されていない場合はプログラムの変更が必要となる。本ツールでは移植に必要な引数の変更と代替関数を提示でき、移植作業を効率的に行うことができる。 ただし、当初目指していたプログラム変更の自動化は今後の課題である。また、これまで作成したツールを統合し、提案する移植支援法に基づいて、ソフトウェア移植を統合的に支援するシステムの実現も今後の課題である。
|