モデル変換を用いたリファクタリング検証手法

摘要

We propose a method for checking the behavior preservation property of refactoring based on static analysis of source code. Our method detects difference of program structure using AST-based models that are extracted from the source code and transformed according to the refactoring patterns. We also built a tool named POM/EQ that checks C/C++ source code. As a result of the case study using the tool, we successfully judged the validity of 56% of the refactoring changes that are performed to an industrial product.%リファクタリングにおける振舞い保持を検証するため,プログラム等価性検証手法を提案する.提案手法は,プログラム構造の差分を抽象構文木に基づくモデルを用いて検出する.差分検出にあたり,リファクタリングにより意図された構造の変更を差分から除外するため,リファクタリングパターンに従ったモデル変換を実施する.また,提案手法をC/C++言語を対象とした検証ツールPOM/EQとして実装した.さらに,実装したツールの適用実験を行い,ある組込み製品にて実施されたリファクタリングのうち,56%を正しく判定できた.