ユーザの要求や環境に応じて変化する適応型ソフトウェア構成法の研究

• Project/Area Number: 13780258
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: 計算機科学
• Research Institution: Ritsumeikan University
• Principal Investigator: 丸山 勝久 立命館大学, 理工学部, 助教授 (30330012)
• Project Period (FY): 2001 – 2002
• Project Status: Completed (Fiscal Year 2002)
• Budget Amount: ¥2,200,000 (Direct Cost: ¥2,200,000); Fiscal Year 2002: ¥800,000 (Direct Cost: ¥800,000); Fiscal Year 2001: ¥1,400,000 (Direct Cost: ¥1,400,000)
• Keywords: オブジェクト指向ソフトウェア / リファクタリング / プログラム解析 / コンポーネントソフトウェア / Webサービス / UML / Java / オブジェクト指向プログラミング / ソフトウェア リストラクチャリング / プログラム スライシング / 制御フローグラフ / プログラム依存グラフ

Research Abstract

ソフトウェアの構成を変更する手法の一つとして,オブジェクト指向ソフトウェアに対するリファクタリング技術の研究を進めた.リファクタリングとは,ソフトウェアの外部から見た挙動(振る舞い)を保存したまま,内部の構造だけを改良し,その設計を向上させる作業を指す.リファクタリング操作は一般的に煩雑であり,手動で行う際には,対象コードに対して多くの前提条件を検査すること,および,変更したコードが影響を及ぼす箇所を特定することが面倒である.さらに,リファクタリングの適用においては,対象ソースコードのどの部分にどのタイミングで行うのかを決定することが非常に難しい.
本研究では,オブジェクト指向言語Javaのプログラムに対して,各文間の制御の流れを表現する制御フローグラフ(CFG),各文間の依存関係を表現するプログラム依存グラフ(PDG),プログラムの設計書であるUMLダイアグラム(クラス図とシーケンス図)を用い,ソースコードのどの部分にいつリファクタリングを適用すればよいのかを過去の変更の履歴やソフトウェアメトリクス値の変動から判断する技術,さらに,変更前後に成立する条件をCFGやPDGを用いて論理式で記述することで変更により挙動が変わらなかったことを保証する技術を確立した.
また,本研究では,コンポーネントによるWebサービスの構築に着目し,コンポーネントインタフェースのグルーピングによって提供されるWebサービスの種類を増加させる技術,さらに,それらを非機能特性に応じて検索する技術を考案した.コンポーネントの種類を見かけ上増加させ,それらを効果的に組み合わせることで,適応的ソフトウェアの実現に近づくと考えられる.

Research Products

• [Publications] 丸山 勝久: "基本ブロックスライシングを用いたメソッド抽出リファクタリング"情報処理学会論文誌. 43巻6号. (2002)