[论文解读] 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

一句话总结

本文介绍了第五届国际自动化调试研讨会（AADEBUG 2003）的会议论文集，该会议于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 在不同研究群体之间，传播与整合自动化调试创新的最有效机制是什么？

主要发现

• 自1993年启动以来，AADEBUG研讨会系列已成功为推进自动化调试研究提供了持续的平台。
• 2003年在比利时根特举行的研讨会，标志着统一与传播自动化调试研究的持续努力中的一个重要里程碑。
• 研讨会系列的延续性使得在多种编程范式中积累了日益丰富的知识体系。
• 会议论文集作为2003年自动化调试领域最先进技术的正式记录，反映了前序会议的进展。
• 研讨会的协作形式已被证明在促进自动化调试领域的创新与跨范式洞察方面非常有效。
• 该研讨会已成为研究人员展示和交流自动化调试思想的公认平台，有力推动了该领域的凝聚力与发展。