SHF: Small: Automated Debugging Techniques for Modern Software Systems

提案号：CCF 0916605标题：SHF：小型：现代软件系统的自动调试技术spi: Alessandro orso调试，包括识别和消除软件故障，是一项人力密集型活动，负责软件维护的大部分成本。现有的自动调试方法可以帮助降低这个成本，但是有一些限制阻碍了它们的有效性和适用性。该项目旨在通过开发一系列调试技术来克服这些限制，这些技术：(1)针对现实的调试场景，其中错误可能涉及多个语句，并且仅在特定的上下文中表现出来；(2)应用先进的静态和动态分析技术来自动减少开发人员在调查故障时必须检查的语句和输入的数量；(3)利用现场收集的信息，增加调试过程的相关性和有效性。这些新定义的技术将通过在真实软件、真实设置和现实假设下进行的严格实验来评估。在项目中开发的调试工具、基础设施和实验对象将免费提供给研究人员和从业者，以帮助传播和进一步研究。通过提高调试技术的水平，这项研究将帮助开发人员构建更可靠的软件系统，并最终提高我们软件基础结构的整体质量。

Proposal Number: CCF 0916605TITLE: SHF: Small: Automated Debugging Techniques for Modern Software SystemsPI: Alessandro OrsoDebugging, which consists of identifying and removing software faults, is a human-intensive activity responsible for much of the cost of software maintenance. Existing approaches for automated debugging can help lower this cost, but have limitations that hinder their effectiveness and applicability. This project aims to overcome these limitations by developing a family of debugging techniques that (1) target realistic debugging scenarios, in which faults can involve multiple statements and manifest themselves only in specific contexts,(2) apply advanced static and dynamic analysis techniques to automatically reduce the amount of both statements and inputs that developers must examine when investigating a failure, (3) leverage information collected from the field to increase the relevance and effectiveness of the debugging process. These newly defined techniques will be evaluated through rigorous experimentation performed on real software, in real settings, and under realistic assumptions. Debugging tools, infrastructure, and experimental subjects developed within the project will be made freely available to researchers and practitioners to help dissemination and enable further research. By advancing the state of the art of debugging, this research will help developers build more reliable software systems and, ultimately, increase the overall quality of our software infrastructure.