プログラム実行の複雑性を克服するデバッグの新しい枠組の確立に向けて

• Item type: Trans(1)
• 公開日: 2021-06-15
• タイトル: プログラム実行の複雑性を克服するデバッグの新しい枠組の確立に向けて
• タイトル / 言語: en
• タイトル: Toward a New Debugging Paradigm to Overcome Complexity of Program Executions
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [発表概要, Unrefereed Presentatin Abstract]
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 奈良先端科学技術大学院大学
• 著者所属: 甲南大学
• 著者所属: 神戸大学
• 著者所属(英): en
• 著者所属(英): Nara Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): Konan University
• 著者所属(英): en
• 著者所属(英): Kobe University
• 著者名: 久米, 出; 新田, 直也; 中村, 匡秀
• 著者名(英): Izuru, Kume; Naoya, Nitta; Masahide, Nakamura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: デバッグはソフトウェア開発の他の工程，特にプログラミングと対照的にその作業効率は根本的に改善されないまま多くの労力と時間が費され，開発全体の律速段階を形成する状況が何十年も続いている．現在の一般的なデバッグ方式ではブレイクポイントの設定とプログラムの再実行，ステップ実行とスタック情報の調査を繰り返すことによってデバッグ，特に不具合箇所とその実行の時機を特定する診断が形成される．実用的なプログラムの実行は一般にきわめて複雑である．従来のデバッグ方式で診断を形成しようとすると，この複雑性が作業量に直接反映されてしまうため，結果として作業に費される労力と時間が爆発的に増大してしまう．これまでに提案されてきた様々な支援手法もこうした従来のデバッグ方式を前提とする限りその真価を発揮して産業界に広く受け入れられることは困難であると思われる．本発表で我々は複雑性を克服して診断を形成するための新しいデバッグの枠組である，関心指向デバッギングを提案する．関心指向デバッギングは診断者が作業の過程で関心を有した断片的な情報である関心に基づいてプログラム実行を抽象化し，オブジェクト指向プログラム特有の非局在化を復元する行為によって従来方式の行為を置き換える．本発表では実際に実施された診断事例の分析を通じて関心指向デバッギングの有効性を検証する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Debugging has been a time-consuming process and the bottleneck of software development for decades, although other development processes, especially programming, show great improvement in their efficiency. Currently for making a diagnosis, which explains the chain of infection to a failure, there is a widespread debugging style that consists of repeated actions of setting breakpoints, restarting a program, step executions, and inspection of stack data. In general, an execution of a practical program is very complex, and its complexity directly requires a large number of actions, and thus a large amount of time and effort for a diagnosing task. Existing supporting methods can't show their potential performance if they are combined with these debugging actions, which is one of the reasons practitioners are not always positive about these proposed methods, we believe. In this presentation, we propose Concern-Oriented Debugging, which is a new debugging paradigm that aims at overcoming the complexity of program executions in diagnosing tasks. Concern-Oriented Debugging replaces existing debug actions with those that make an abstraction of a program execution and recover delocalization of the object-oriented program design. We show the effectiveness of this new debugging paradigm by a diagnosing task of a real debugging example.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 14, 号 3, p. 6-6, 発行日 2021-06-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会