PDIアルゴリズム : プログラム差分合成のためのアルゴリズム

DOI

書誌事項

タイトル別名
  • PDI Algorithm : An Algorithm for Program Difference Integration

説明

<p>プログラミングの過程において,あるプログラムを元に,複数の異なったバージョンのプログラムを作ることがある.プログラム差分合成アルゴリズム(program difference integration algorithm)とは,このようにして作られた,2つの異なるバージョンのプログラムを1つに合成するためのアルゴリズムである.プログラム差分合成アルゴリズムには,HPRアルゴリズムなどが提案されている.しかし,これらのアルゴリズムでは,条件分岐などによるプログラム・コードの取捨選択を考慮しなければならない場合は,合成ができないことがしられている. 本論文では,HPRアルゴリズムで使われている後方プログラムスライスに加えて,前方プログラムスライスを用いてプログラムの解析を行なうことにより,上記の問題を解決するPDIアルゴリズムを提案する.また,プログラムを代数の要素とみなすことによって,PDIアルゴリズムが結合律を満たすことも示す.</p>

収録刊行物

詳細情報 詳細情報について

  • CRID
    1390282763061817344
  • NII論文ID
    130007505146
  • DOI
    10.11309/jssst.12.5_487
  • ISSN
    02896540
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
    • CiNii Articles
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ