情報処理学会 第80回全国大会講演要旨

ソフトウェア開発では,既存のシステムに機能を追加したり一部に変更を加える改修作業がよく行われる.そのとき,ソースコードの一部を書き換えた影響が別の部分に影響する可能性が高い.ソフトウェアの品質を保証しながら効率的な開発を行うためには,ソースコードを書き換えた影響が波及する範囲を特定する必要がある.影響範囲を明らかにすることができれば,テスト工数の削減,テスト漏れの防止が期待される.そこで本研究では,C言語で記述されたソースコード中の変数の変更が影響を与える範囲の解析手法を考案し,それにしたがって動作する静的解析ツールの実装を行った.ツール上には解析のために生成されたソースコードのグラフ表現ならびに影響波及範囲が可視化される.