チュートリアルシリーズ『ソフトウェア工学の実証的アプローチ』第2回 プログラムの動的解析

抄録

動的解析とは，プログラムの実行時情報を収集し，その実際の振舞いや性能を解析するための技術である．本稿では，ソースコードに対する解析と比べた場合の動的解析の特徴を述べ，コードカバレッジの計算や統計的デバッギングなどの動的解析手法を解説する．また，読者が解析手法を試すことができるように，Javaプログラムの解析に役立つツールについても紹介する．