[論文レビュー] Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003)

Michiel Ronsse, Koen De Bosschere|ArXiv.org|Sep 15, 2003

Software System Performance and Reliability参考文献 22被引用数 27

ひとこと要約

本論文は、ベルギー・ゲントで開催された第5回国際自動デバッグワークショップ（AADEBUG 2003）の議事録を提示する。このワークショップは、1993年に開始されたシリーズに続き、多様なプログラミングパラダイムにわたる自動デバッグ分野の研究を統合・前進させる目的を有する。本ワークショップは、分野の断片化を是正するため、異分野の協力を促進し、技術的革新と進展を共有する場を提供する。

ABSTRACT

Over the past decades automated debugging has seen major achievements. However, as debugging is by necessity attached to particular programming paradigms, the results are scattered. To alleviate this problem, the Automated and Algorithmic Debugging workshop (AADEBUG for short) was organised in 1993 in Link"oping (Sweden). As this workshop proved to be successful, subsequent workshops have been organised in 1995 (Saint-Malo, France), 1997 (again in Link"oping, Sweden) and 2000 (Munich, Germany). In 2003, the workshop is organised in Ghent, Belgium, the proceedings of which you are reading right now.

研究の動機と目的

• 特定のプログラミングパラダイムに強く依存するため、自動デバッグ研究の断片化を是正すること。
• 自動デバッグ技術における進展を共有・統合するための持続的フォーラムを提供すること。
• 1993年に開始されたAADEBUGワークショップシリーズの伝統を継続し、分野における一体性と進展を促進すること。
• 国際的協力を通じて、異なるパラダイム間でのアイデアおよび手法の交換を促進すること。
• 2003年現在の自動デバッグ分野の最先端状況を文書化・広報すること。これには、リンョーピング、サン＝マルロ、ミュンヘンで開催された前回のワークショップを基盤としている。

提案手法

• 自動デバッグに特化した国際的ワークショップシリーズの開催を通じて、研究活動の統一を図ること。
• 研究者および実務家を招待し、自動デバッグにおける新規アプローチを発表・議論する場を提供すること。
• 最先端の自動デバッグ研究を発表・広報するための査読付きフォーラムを構築すること。
• 異なるプログラミングパラダイム間での対話を促進し、デバッグ手法における共通点や相乗効果を同定すること。
• 2003年のワークショップ議事録を正式な研究貢献および発展の記録として文書化すること。
• 前回のワークショップと連続性を保ち、自動デバッグ研究の進化と成熟を追跡すること。

実験結果

リサーチクエスチョン

• RQ1 多様なプログラミングパラダイムにわたる自動デバッグ研究をどのように統合し、断片化を軽減できるか？
• RQ2 異種パラダイムの文脈において、自動デバッグ技術を前進させるにあたり、主な課題と機会は何か？
• RQ3 繰り返し開催される国際的ワークショップが、自動デバッグ研究における勢いと協働を維持するために果たす役割は何か？
• RQ4 AADEBUGワークショップシリーズの創設以降、自動デバッグ技術はどのように進化したか？
• RQ5 研究コミュニティ間で自動デバッグのイノベーションを効果的に広報・統合するための最適なメカニズムは何か？

主な発見

• AADEBUGワークショップシリーズは、1993年の創設以来、自動デバッグ研究の前進を継続的に支援するプラットフォームとして成功している。
• ベルギー・ゲントで開催された2003年のワークショップは、自動デバッグ研究の統一と広報に向けた継続的取り組みにおける重要なマイルストーンであった。
• ワークショップシリーズの継続性のおかげで、複数のプログラミングパラダイムにわたる知識の蓄積が進んできた。
• 議事録は、2003年当時の自動デバッグ分野の最先端状況を公式に記録したものであり、前回の版からの進展を反映している。
• ワークショップの協働的フォーマットは、自動デバッグ分野におけるイノベーションおよび異種パラダイム間の洞察を生むのに効果的であることが実証された。
• ワークショップは、研究者が自動デバッグに関するアイデアを発表・交換するための認知された場となり、分野の一体性と発展に貢献している。