CAREER: Leveraging Everyday Usage of Programs to Eliminate Bugs

构建高质量的软件对于实现高度的安全性、可用性和效率至关重要。因此，软件开发人员花费一半以上的时间来测试和调试软件，以消除程序中的错误。因此，软件质量保证的成本过高。尽管做出了这些努力，但现实系统中使用的现代软件仍然充满了漏洞。该项目的目标是帮助开发人员查找、复制和修复错误。为了实现这一目标，该项目将开发系统地使用软件每天产生的大量信息的技术。就像软件是为执行特定任务而构建的一样，为调试和测试目的而监控信息的过程也需要进行调整，以实现特定目标。目前主要从所有程序收集通用信息的方法有很大的局限性。因此，这项研究将介绍以特定于程序的方式监控信息的新方法。这些信息将被自适应地调整，以自动复制复杂的错误。一旦错误被复制，它们就更容易修复。这项研究的一个关键贡献将是使用成功和不成功的程序执行来帮助复制错误。这项工作将解决长期存在的公开问题，这些问题使得在现实世界的系统中复制错误非常困难。所开发的技术将有益于其他研究领域，如软件测试和程序修复。总的来说，这项研究将降低软件错误的成本，并产生更高质量的软件，最终造福社会。这项研究创建的工具和数据集将公开发布，以促进可重复性、进一步研究和学术界和工业界的采用。该项目的另一个重点是通过学术和产业合作与研究计划紧密结合的教育计划。该项目将开发和推出一个以调试为中心的开放式在线编程课程。这门课程最初将在当地试行，以吸引代表不足和服务不足的K-8学生。为了实现统一的教育和研究愿景，该项目的结果将为正在进行的促进理解和扩大对计算的参与的外展活动提供信息。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

Building good quality software is crucial for achieving a high degree of security, availability, and efficiency. Therefore, software developers spend more than half of their time testing and debugging software to remove errors in programs. As a result, the cost of software quality assurance is exorbitant. Despite these efforts, modern software used in real-world systems is full of bugs. The goal of this project is to help developers find, reproduce, and fix bugs. To achieve this goal, this project will develop techniques that systematically use the massive amount of information generated by software every day. Much like software is built to carry out specific tasks, the process that monitors information for debugging and testing purposes also needs to be adapted to achieve specific objectives. Current approaches that mainly collect generic information from all programs have significant limitations. Therefore, this research will introduce new approaches to monitor information in program-specific ways. This information will be adaptively adjusted to automatically reproduce complex bugs. Once bugs are reproduced, they are much easier to fix. A key contribution of this research will be to use both successful and unsuccessful program executions to help reproduce bugs.This work will solve long-standing open problems that make it very hard to reproduce bugs in real-world systems. The developed techniques will benefit other research areas such as software testing and program repair. Broadly, this research will reduce the costs of software bugs and result in higher quality software, ultimately benefiting society. The tools and datasets created by this research will be openly released to promote reproducibility, further studies, and adoption by academia and industry. Another key focus of this project is an educational plan that is closely integrated with the research plan via academic and industrial collaborations. This project will develop and launch an openly-available online programming course centered around debugging. This course will be initially piloted locally to engage underrepresented and under-served K-8 students. Towards a unified education and research vision, the results of this project will inform ongoing outreach activities to promote understanding and broaden participation in computing.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.