意味構成管理システムを用いた修正プログラムにおける相互干渉の検出

スポンサーリンク

概要

論文の詳細を見る
プログラムを複数の編集者が独立して修正した後、各修正結果をマージした版を生成すると、複数修正間での相互干渉のためにプログラムが意図しない動作をすることがある。我々は、Moriconiらの提案した情報フローモデルを基礎に、意味的誤りの検出と解決を行なう意味構成管理システムの構築を進めている。Horwitzらの提案した従来の相互干渉検出法では、検出した影響波及領域に実際には影響が及ばない変数を含むことがあり、それらの除去が難しいために相互干渉の検出精度向上が因難である。ここでは本問題の解決を目指し、以下の特徴を持つ高精度の相互干渉の検出モデルを提案する。(1)計算経路の解析を精密化することによって、実際に実行される可能性のある計算経路を絞り込む。(2)絞り込んだ計算経路に対する変数間の依存関係を求めることによって、影響波及領域を絞り込む。
一般社団法人情報処理学会の論文
1992-09-28

著者

関連論文

もっと見る

スポンサーリンク