入出力データの構造不一致検出における処理ネック解決と精度向上

概要

論文の詳細を見る
ソフトウェアの生産性向上や信頼性向上は大きな課題である.著者らはその解決策として,理解性と拡張性にすぐれた仕様記述言語PSDLと,PSDLで記述された仕様からプログラム構造を自動設計する手法を既に提案した.仕様からプログラム構造を設計する際の課題の一つが,入出力データの構造不一致の検出と解決である.著者らは,仕様から有向グラフを生成し,そのグラフ中の閉路上でデータの流れの同期性を解析することによって,構造不一致を検出し,解決する手法を既に提案した.しかし,この手法では,仕様が大きくなるに従って,グラフの閉路数が指数関数的に増大し,処理ネックを生じていた.また,データ検索などの処理において,構造が一致しているにもかかわらず,構造不一致と判定される場合があった.本論文では,閉路の代わりにカットセットを対象として,すべての解を探索しなくてもすむ解析手法を新たに提案し,実験によって,その手法が最適性の面でそれほど劣らないことを確認した.また,グラフの隣接する二つの枝を調べることによって,構造不一致の検出精度を改善する手法を考案した.以上の二つの手法を取り入れてプログラム生成の実験を行い,正しく動作するプログラムが生成されることを確認した.
1995-04-15

入出力データの構造不一致検出における処理ネック解決と精度向上

スポンサーリンク

概要

著者

関連論文

スポンサーリンク