• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

自己計測機能を持つ並行処理ソフトウェアの系統的開発法に関する研究

Research Project

Project/Area Number 13878057
Research Category

Grant-in-Aid for Exploratory Research

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionKyushu University

Principal Investigator

乃村 能成  九州大学, 大学院・システム情報科学研究院, 助手 (70274496)

Co-Investigator(Kenkyū-buntansha) 牛島 和夫  九州産業大学, 情報科学部, 教授 (40037750)
Project Period (FY) 2001 – 2002
Project Status Completed (Fiscal Year 2002)
Budget Amount *help
¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 2002: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2001: ¥1,200,000 (Direct Cost: ¥1,200,000)
Keywords自己計測 / 並行プログラム / Java / Ada95 / ソフトウェア開発支援 / リファクタリング / 機能変更・拡張 / 構造的欠陥 / Ada 95 / 計測仕様書 / デッドロック検出
Research Abstract

これまで,ソフトウェア開発の現場では,性能優先の開発が行われてきたのが現状である.しかし,性能を多少犠牲にしても信頼性を確保するべき分野も多い.
本研究では,各分野で用いられる並行処理ソフトウェアにおいて,どのような方法で,どの要素を計測すれば,性能の低下を抑えて,かつ信頼性向上に有効な計測を行うことができるのか,自己計測を行うシステムを系統的に開発するための手法を提案して,開発を支援するためのツールの開発を目指して研究を進めてきた.
計測対象のソフトウェアは要求に合わせて機能変更や機能拡張され,改版されていく.その結果,設計当初のプログラム構造の統一性は崩れることが多く,機能変更や機能拡張の工数も増加してしまう.そこで,プログラムの構造を見直し,ソフトウェアの機能変更や機能拡張の工数を少なくすることが重要である.しかし,プログラムの構造を変更することによって,ソフトウェアの提供する機能に変化が生じないようにしなくてはならない.更に,自己計測ソフトウェアにおいては,機能を保存するだけではなく,計測に支障がないようにソフトウェアの動作を保存しなくてはならない場合もあると考えられる.
このためにリファクタリングと呼ばれる手法が有効であると考えた.しかし,リファクタリングを行うためには,機能変更や機能拡張の工数の増加を招くプログラムの構造的欠陥を検出する必要がある.さらに,検出した構造的欠陥を解消する適切なリファクタリング手法を選択し施す必要がある.従来,こうした検出や選択は難しく,リファクタリングに関する知識や経験を必要とした.そこで,過去の知識や経験が少なくてもプログラム構造を改善可能にするため,リファクタリング作業の自動化を支援する機構を提案した。また,その機構に基づくリファクタリング支援ツールを実装し,実際のプログラムに適応して,効果を確認した.

Report

(2 results)
  • 2002 Annual Research Report
  • 2001 Annual Research Report
  • Research Products

    (6 results)

All Other

All Publications (6 results)

  • [Publications] 泰野克彦, 乃村能成, 谷口秀夫, 牛島和夫: "リファクタリングの自動化を支援する機構"オブジェクト指向最前線2002(近代科学社). 75-82 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Katsuhiko Hatano, Yoshinari Nomura, Hideo Taniguchi: "Development of a Tool to Support Refactoring for Object Pascal Programs"Res. Rep. ISEE Kyushu University. 7・2. 125-130 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng: "A Run-Time Deadlock Detector for Concurrent Java Programs"Proc. the Eighth Asia-Pacific Software Engineering Conference (APSEC 2001). 45-52 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima: "Reliability and Performance: Can We Cope with the Both in Development of Self-Measurement Concurrent Systems?-A Case Study of Java Deadlock Detection"Proc. the Pan-Yellow-Sea International Workshop on Information Technologies for Network Era (PYIWIT'02). (to appear). (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 野中裕介, 程京徳, 牛島和夫: "自己計測機能を含む並行プログラムの開発における計測仕様書とその応用"情報処理学会論文誌. 43巻3号(to appear). (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] Katsuhiko HATANO, Yoshinari NOMURA, Hideo TANIGUCHI, Kazuo USHIJIMA: "A Method to Support Refactoring Using C & K Metrics"Proc. the Pan-Yellow-Sea International Workshop on Information Technologies for Network Era (PYIWIT'02). (to appear). (2002)

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2001-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi