@techreport{oai:ipsj.ixsq.nii.ac.jp:00213819,
 author = {久米, 出 and 新田, 直也 and 中村, 匡秀 and 柴山, 悦哉},
 issue = {11},
 month = {Nov},
 note = {プログラム実行が失敗した時に，その実行が成功する場合と比較する事によってデバッグの手掛かりを得られる事が期待される．しかしながら実用規模のプログラムの実行は非常に複雑であるため，従来のデバッガを用いた比較では有用な情報を効率的に取得する事は困難である．複雑性の問題を解決するために，我々はブレークポイントとステップ実行の繰り返しに代わる，従来とは全く異なる方式のデバッグを可能とする関心指向デバッギング (Concern-Oriented Debugging を提案する．関心指向デバッギングでは (1) プログラム実行への作業者の関心を媒介変数とする変数付き抽象化 (Parametric Abstraction) の適用と，(2) 抽象化された実行同士の比較を対話的に実施する形でデバッグ作業を遂行する．本稿では関心指向デバッギングによる複雑性への対処を，我々が現在開発しているデバッガを用いた実例を用いて説明する．さらにこの実例で用いられるデバッガが提供すべき機能とその用法をそれぞれ説明する．デバッガの機能はトレース (プログラムの実行履歴) を解析する事によって実現される．本稿ではこの実現に向けた技術的課題に関して議論する．, We can expect that comparison of a failed program execution with a successful one gives us useful hint of debugging. However, an execution of a practical program is so complex that we can't effectively find the cause of the failure by widely used debuggers. In order to tackle this complexity problem, we introduce Concern-Oriented Debugging, a novel debugging method which enables a novel debugging style instead of ordinary one based on breakpoints and step executions. In the style of Concern-Oriented Debugging, developers interactively (1) apply abstraction parameterized by developers' concerns to program execution and (2) comparison of abstracted results. In this paper, we explain the ability of Concern-Oriented Debugging to cope with the complexity problem by a case study in which a developer uses a debugger, which is under development. The features of the debugger and their uses in the case study are also explained. Our debugger uses program execution traces to implement its features. We discuss technical issues about this implementation.},
 title = {関心を反映した実行の抽象化と比較によるデバッグ支援に向けて},
 year = {2021}
}