抄録
リファクタリングにおける振舞い保持を検証するため，プログラム等価性検証手法を提案する．提案手法は，プログラム構造の差分を抽象構文木に基づくモデルを用いて検出する．差分検出にあたり，リファクタリングにより意図された構造の変更を差分から除外するため，リファクタリングパターンに従ったモデル変換を実施する．また，提案手法をC/C++言語を対象とした検証ツールPOM/EQとして実装した．さらに，実装したツールの適用実験を行い，ある組込み製品にて実施されたリファクタリングのうち，56%を正しく判定できた．
