| 研究概要 |
プロトタイピングでは,対象ソフトウェアのプロトタイプの構築・稼動・評価という3フェ-ズから成るサイクルをできる限り迅速に繰り返して回り,プロトタイプの振舞いを調べて,要求や実現方法を確認・修正・詳細化する。複雑なソフトウェアの場合には,振舞いの単純な視認だけでは不十分である。プロトタイピングの迅速さを失わないように評価フェ-ズに効率的なツ-ル群を整備して,プロトタイプの振舞いや稼動結果を詳細に調べる必要がある。本研究では,並行処理ソフトウェアの評価フェ-ズを効果的に進めるために,診断型エキスパ-トシステムに基づくツ-ル群を導入し,並行処理ソフトウェアの機能と性能それぞれに重大な影響を与えるデッドロックとボトルネックについて,それらが起きる箇所と要因を診断しその改善プランを提示する方法を研究した。さらに,デッドロックに対する,エキスパ-トシステムによるヒュ-リスティクな診断法と,アルゴリズムによる解析的な方法の間の相補的な役割,および,ボトルネックに対する,定性的な診断法と定量的な診断法の間の相補的な役割についても研究した。
本研究の成果として,並行処理ソフトウェアを待ち行列ネットワ-クにモデル化し,定性推論に基づいてボトルネックのパラメ-タチュ-ニングを行うエキスパ-トシステムと,並行処理ソフトウェアをペトリネットにモデル化し,線形整数計画法に基づいてデッドロックを検出しデッドロックへの発火系列を求めるエキスパ-トシステムを構成できた。これらを使って並行処理ソフトウェアのプロトタイピングサイクル中の評価フェ-ズを効果的に進める方法が構成できた。
|
