CAREER: Leveraging Everyday Usage of Programs to Eliminate Bugs

职业：利用程序的日常使用来消除错误

• 批准号: 2333885
• 负责人: Baris Kasikci
• 金额: $ 57.6万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-09-01 至 2025-08-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2333885&HistoricalAwards=false
• 关键词: CAREER; Leveraging; Everyday; Usage; Programs

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.

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