「Traceglasses：欠陥の効率良い発見手法を実現するトレースに基づくデバッガ」

［情報処理学会論文誌 プログラミング Vol.3, No.3, pp.1-17］
［論文概要］

　本研究は実行トレースを使った効率の良い欠陥の発見手法を提案し,トレースに基づくJava のデバッガであるTraceglassesとして実装する.利用者は,プログラム実行中のイベントを記録したトレースにより, 既存のデバッガに見られるようなステップ操作を必要とせず,プログラムの動作を遡り, また指定のオブジェクトに対する操作のみを表示することで, 効率よく欠陥を発見することができる.実験として, テキスト整形プログラムの欠陥を発見する事例を説明し,提案した欠陥の発見手法と実装について実用上の有用性を示した.





［推薦理由］

　本論文では、Javaプログラムにおけるエラー発見手法として、実行を逆向きに遡及することにより、エラーの流れをたどっていく追跡手法を提案している。エラーの追跡にはトレースベースのデバッガが用いられている。提案されている追跡手法は、ステップ実行単位で追跡する局所的な方法と、特定の変数に対する代入や参照をプログラムの特定の実行に対して検索する大域的な追跡手法とからなる。この提案手法のもと、著者は実際にシステムを実装し、ユーザーインターラクションによる絞り込みが有効であることを示しており、この点において特に意義深い研究となっている。一方、提案手法・実装方法に関する記述や性能評価に関する記述は、要領よくまとめられており、明解な論文となっており、評価することができる。以上の理由により、論文賞として推薦するものである。