プログラムの正規化に基づいた差分抽出法の提案  [in Japanese] A difference identification method based on the program normalization  [in Japanese]

広く用いられているUNIXのdiffは, 行単位での差分を出力する汎用的なツールであるが, 改行や空白の挿入, 削除や, コメントの変更などソースプログラムの意味に影響を与えない場合でも差分として出力する. そのため, そこからソースプログラムの意味的な変化を理解するには, 多大な労力が必要である. 本論文では, プログラムの意味を考慮した差分を抽出する方法として, プログラムの正規化に基づいた差分抽出法を提案する. 差分抽出の前段階として, ソースプログラムを正規化し, 正規化したソースプログラムの差分を抽出することで, プログラムの意味に影響を与えない差分を排除する. さらに, 構文要素の「移動」について判定し, その結果を提示する. 提案した抽出法に基づいてツールを実装し, 実際のソースプログラムに適用することで, 差分の理解が容易になることを示す.

Diff in UNIX is a popular tool to find the differences between two files. But the differences between tow source programs found by it contain meaningless differences semanties of programs, for example, insertion and deletion of white spaces and modification of comments. Because of this meaningless differences, we need a many effort to understand the semantical differences in source programs. In this paper, we proposed a difference identification method based on the program normalization to find semantical differences in programs. In this method, we normalize programs before the difference identification in order to remove meaningless differences. And in the identification, we detect not only the insertion and deletion of syntactic elements in programs but also the their movement. We show the effectiveness of our method in program understanding by applying our method to practical source programs.