オブジェクト指向プログラム固有なデバッグの困難性を克服するBack-in-Timeデバッガの実現に向けて

• 久米 出

  奈良先端科学技術大学院大学

• 波多野 賢治

  同志社大学

• 中村 匡秀

  神戸大学

• 柴山 悦哉

  東京大学

抄録

逆回し (back-in-time) デバッガはプログラムのトレース (実行履歴) を記録して過去の状態の参照を可能する機能を有しており,デバッグに於ける診断のあり方を根本から変える可能性を秘めている.しかしながらその機能を有効に活用するためには,作業者が膨大なトレースの中から適切な実行時点を指定し,その状態の正不正を判定しなければならない.こうした指定や判定は作業者自身のプログラム理解に大きく依存している.オブジェクト指向プログラミングはプログラムの再利用性や拡張性が向上させる反面,コードの理解を困難にする傾向が指摘されている.我々はこうしたオブジェクト指向プログラムに固有な問題を解決するために,外挿診断法 (diagnosis by extrapolation) という手法を提案し,それを実現する逆回しデバッガを開発中である.本手法は指定された時点の実行文脈を,作業者の既知の情報を用いて抽象化する事によって,問題解決を実現する点に最大の特徴を有している.本論文では実用的なプログラムのデバッグ事例を通じて逆回しデバッガが実装すべき機能と手法の有効性の評価方法を考察する.

収録刊行物

• 情報処理学会研究報告. ソフトウェア工学研究会報告

  情報処理学会研究報告. ソフトウェア工学研究会報告 2015 (37), 1-8, 2015-03-05

  一般社団法人情報処理学会

キーワード

• 開発手法

詳細情報

• CRID: 1573950402598089600
• NII論文ID: 110009881733
• NII書誌ID: AN10112981
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles