• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

ソフトウェアリサイクル支援環境の研究-Browser,Slicer,Specializerの設計と開発-

研究課題

研究課題/領域番号 10308008
研究種目

基盤研究(A)

配分区分補助金
応募区分一般
研究分野 計算機科学
研究機関名古屋大学

研究代表者

阿草 清滋  名古屋大学, 工学研究科, 教授 (90026360)

研究分担者 山本 晋一郎  愛知県立大学, 情報科学部, 助教授 (40240098)
濱口 毅  名古屋大学, 工学研究科, 助手 (90273284)
結縁 祥治  名古屋大学, 工学研究科, 助教授 (70230612)
研究期間 (年度) 1998 – 2000
研究課題ステータス 完了 (2000年度)
配分額 *注記
8,400千円 (直接経費: 8,400千円)
2000年度: 1,800千円 (直接経費: 1,800千円)
1999年度: 6,600千円 (直接経費: 6,600千円)
キーワードソフトウェアリサイクル / Browser / Slicer / Specializer / 依存解析 / プログラムパターン
研究概要

本研究は,大量に蓄積されたソフトウェア資産を対象に,
(1)大規模なソフトウェアを効率的に参照・検索・トラバースする機能を持つBrowser
(2)大規模なソフトウェアから必要な部分を容易に抽出するためのSlicer
(3)抽出したソフトウェアを使用環境に適応させるためのSpecializer
からなる,ソフトウェアリサイクル支援環境を作成することを目的とした研究である.本研究の成果を以下に示す.
1.ハイパーテキストを用いたソースプログラムBrowser SPIEを開発した.SPIEは,ソースプログラムをHTMLに変換すると共に,File(ファイル),Function(関数),Argument(引数),Global variable(大域変数),Local variable(局所変数),Type(typedefされた型),Tag(構造体,union型,列挙型のタグ),Member(構造体メンバー),Enum(列挙子,すなわち列挙型の要素),Constant(定数),Macro(マクロ)の11種類のオブジェクトに関して詳細なクロスリファレンスを提供する.
2.ある関数fを指定すると,関数をコンパイルするのに必要となる
・関数fの定義とプロトタイプ宣言
・関数fが呼び出している関数f′の定義とプロトタイプ宣言
・関数f中で参照・代入している大域変数・構造体などの定義
・関数f中で使われている型の宣言
・関数f中で使われているマクロの定義
などを同定しプログラム部品として抽出する関数スライスの手法を提案し,実現の詳細を示した.
3.汎用的な部品から特化したプログラムを自動的に抽出するための部分評価器方法について考察し,実際にツールを作成した.

報告書

(4件)
  • 2000 実績報告書   研究成果報告書概要
  • 1999 実績報告書
  • 1998 実績報告書
  • 研究成果

    (28件)

すべて その他

すべて 文献書誌 (28件)

  • [文献書誌] Fukuyasu Naoki,Yamamoto Shinichirou,Agusa Kiyoshi: "An Evolution Framework based on Fine Grained Repository"Proceedings of International Workshop on Principles of Software Evolution. IWPSE99. 43-47 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 大橋洋貴,山本晋一郎,阿草清滋: "ソフトウェア空間をトラバースする柔軟な検索"日本ソフトウェア科学会第16回大会論文集. 16. 149-152 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 安原継二,山本晋一郎,阿草清滋: "オブジェクト属性を利用したソフトウェアの視覚化"日本ソフトウェア科学会FOSE2000. VII. 189-196 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 尾崎憲幸,山本晋一郎,阿草清滋: "プログラムの正規化に基づいた差分抽出法の提案"日本ソフトウェア科学会FOSE2000. VII. 197-204 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Shinichirou Yamamoto,Agusa Kiyoshi: "Source Program Archives Site : A Step toward Cooperation of Open-source Movement and Software Engineering"Proceeding of International Symposium on Principles of Software Evolution 2000. 213-222 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Irek Ulidowski,Shoji Yuen: "Process Languaes for Rooted Eager Bisimulation"CONCUR2000, Lecture Notes in Computer Science. 1877. 275-289 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Fukuyasu Naoki, Yamamoto Shinichirou, Agusa Kiyoshi: "An Evolution Framework based on Fine Grained Repository"Proceedings of International Workshop on Principles of Software Evolution (IWPSE99). 43-47 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Ohhashi Hirotaka, Yamamoto Shinichirou, Agusa Kiyoshi: "Software Space Traverse for Flexible Search"JSSST 16th Conference Proceedings. 149-152 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yasuhara Keiji, Yamamoto Shinichirou, Agusa Kiyoshi: "Software visualization with attribute"JSSST Foundation of Software Engineering 2000. 189-196 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Ozaki Noriyuki, Yoshida Atsushi, Yamamoto Shinichirou, Agusa Kiyoshi: "A difference identification method based on the program normalization"JSSST Foundation of Software Engineering 2000. 197-204 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yamamoto Shinichirou, Kiyoshi Agusa: "Source Program Archives Site : A Step toward Cooperation of Open-source Movement and Software Engineering"Proceeding of International Symposium on Principles of Software Evolution 2000. 213-222 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Irek Ulidowski, Yuen Shoji: "Process Languaes for Rooted Eager Bisimulation"CONCUR2000, Lecture Notes in Computer Science 1877. 275-289 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Fukuyasu Naoki,Yamamoto Shinichirou,Agusa Kiyoshi: "An Evolution Framework based on Fine Grained Repository"Proceedings of International Workshop on Principles of Software Evolution. IWPSE99. 43-47 (1999)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 大橋洋貴,山本晋一郎,阿草清滋: "ソフトウェア空間をトラバースする柔軟な検索"日本ソフトウェア科学会 第16回大会論文集. 16. 149-152 (1999)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 安原継二,山本晋一郎,阿草清滋: "オブジェクト属性を利用したソフトウェアの視覚化"日本ソフトウェア科学会FOSE2000. VII. 189-196 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 尾崎憲幸,山本晋一郎,阿草清滋: "プログラムの正規化に基づいた差分抽出法の提案"日本ソフトウェア科学会FOSE2000. VII. 197-204 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Shinichirou Yamamoto,Agusa Kiyoshi: "Source Program Archives Site : A Step toward Cooperation of Open-source Movement and Software Engineering"Proceeding of International Symposium on Principles of Software Evolution 2000. 213-222 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Irek Ulidowski,Shoji Yuen: "Process Languaes for Rooted Eager Bisimulation"CONCUR2000,Lecture Notes in Computer Science. 1877. 275-289 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 尾崎憲幸、吉田敦、山本晋一郎、阿草清滋: "意味を考慮したプログラムの差分抽出法の提案"情報処理学会ソフトウェア工学研究会. vol.1323,No.4. 25-32 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 山本晋一郎、大橋洋貴、大久保弘崇、粕谷英人、阿草清滋: "オープンソースの潮流を支援するためのソースプログラム・アーカイブ・サイトの提案"ソフトウェアシンポジウム'99論文集. 129-137 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Fukuyasu Naoki,Yamamoto Shinichirou,Agusa Kiyoshi: "An Evolution Framework based on Fine Grained Repository"Proceedings of International Workshop on Principles of Software Evolution (IWPSE99). 43-47 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 大橋洋貴、山本晋一郎、阿草清滋: "ソフトウェア空間をトラバースする柔軟な検索"日本ソフトウェア科学界第16回大会論文集. 149-152 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 吉田敦.山本晋一郎.阿草清滋: "抽象スレッドに基づくソースプログラムの依存解析の枠組の提案" コンピュータソフトウェア. Vol.16No.1. 46-56 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 三浦良.山本晋一郎.阿草清滋: "プログラムパターンの段階的抽出手法" ソフトウェア工学の基礎V日本ソフトウェア科学会FOSE‘98. 181-188 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 岩本奈美.山本晋一郎.阿草清滋: "部分評価を利用したプログラム部品抽出手法" 電子情報通信学会技術研究報告. SS98-36. 9-16 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 平手孝、結縁祥治、坂部俊樹、稲垣康善: "テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ" 電子情報通信学会技術報告. COMP97-89. 17-24 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 福安直樹.山本晋一郎.阿草清滋: "細粒度リポジトリに基づいたCASEツール・プラットフォームSapid" 情報処理学会論文誌. Vol.39No.6. 1990-1998 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 植村敦志.山本晋一郎.濱口毅.阿草清滋: "パターンを用いた代数的仕様からのコーディングに関する研究" 1998年度電気関係学会東海支部連合大会. 316 (1998)

    • 関連する報告書
      1998 実績報告書

URL: 

公開日: 1999-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi