大規模なコンピュータ・ソフトウェアを開発する際にプログラムにどうしても作りこまれてしまう偶有的な構造による複雑さは、開発者がプログラムを修正する際に問題となる。本研究では、偶有的な構造が含まれることによる問題に対処し、偶有的な構造の差異による見かけ上の違いにかかわらず、開発者がプログラムを分析する手法を提案し、ツールとして実装した。 具体的には、手続きの名前や値をキーワードとして与えると、それらの名前や値を含むなるべくコンパクトな実行系列を求め、該当するプログラムのソースコード部分を提示する検索手法、および、ソフトウェアのリファクタリングによる影響を取り除いた類似コード判定手法を提案した。
|