ソースコードの部分的な等価性検証による等価性判定精度向上手法

摘要

近年、情報技術の発展により、ソフトウェアで様々な機能が実現されている[1]。これに伴い、ソフトウェアの開発工数が増加している。一方で、ソフトウェアの論理的な演算内容を変更せずに、ソースコードを書き換えるリファクタリングを行い、ソースコードの再利用性を高めることでソフトウェアの開発工数を削減することがある。開発プロセスにおいて、ソースコード変更時の影響範囲を把握するために、等価性検証を実施する必要がある。等価性検証では、ソースコードの変更前後で論理的な演算内容が一致することを判定する。従来では、2 つのソースコードを指定し、変更などによって生じたテキストの差分を判別するツール [2]を利用する方法がある。しかし、テキストの差分では、論理的な演算内容を変更せずに修正したソースコードに対しても不等価と判定するため、不等価と判定する範囲が大きくなる問題がある。