ソフトウェアの機能表現を用いた理解支援システムの構成に関する研究

点击翻译按钮获取中文摘要

本研究では,ソフトウェアのソースコードレベルにおける変更による再利用技術の確立を目指し,機能に関する情報に基づくソフトウェアの理解支援の実現を考察した.まず,ある機能を実現しているブロック(モジュール)の前後での状態の変化を分析・整理し,状態変化の因果的依存性による機能の表現を検討した.その結果に基づき,因果的依存性により機能が表現できるように,機能を表現する枠組み(機能表現言語)を設計し,その言語を用いて機能表現を試みた.つぎに,提案した機能表現を用いて,ある機能の実現されている箇所をソースコードから検索し,その箇所をユーザに示すことによりソフトウェアの理解を支援するシステムを開発した.以下,本研究により得られた成果をまとめる.1.それぞれ機能毎にモジュール前後での因果的依存性による実行状態の変化を整理・分析した結果に基づき,その機能が意味をもつ環境および条件,状態間の因果的依存性による動作記述等が記述できる機能表現言語を設計したため,記述された機能表現は概念レベルが高く,人間にとって理解が容易である.2.本機能表現言語は,機能の段階的詳細化に対応できるように言語構成要素を用意している.本機能記述言語は機能を状態の変化の因果的依存性で表現するため,特定のソフトウェア開発言語に依存しない.3.ソフトウェアの実行により生成される状態列と機能表現との間での照合により,ソフトウェア内での指定された機能の実現箇所を検索するための照合アルゴリズムを設計した.さらに,C言語で記述されたソフトウェアを対象として実験システムを構成した.その結果,機能検索に本機能表現が利用できることを確認した.今後の課題として,より検索を容易にするために,プログラムスライシング技術を応用した,機能表現の自動生成手法の開発等が挙げられる.