CRII: SHF: RUI: Leroid: Bug Oracle and Environment Configuration Automation for Android Bug Report Reproduction

CRII：SHF：RUI：Leroid：用于 Android Bug 报告复制的 Bug Oracle 和环境配置自动化

• 批准号: 2246186
• 负责人: Yu Zhao
• 金额: $ 17.5万
• 依托单位: University of Central Missouri
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-07-01 至 2023-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2246186&HistoricalAwards=false
• 关键词: CRII; SHF; RUI; Leroid; Bug

Developers of mobile apps rely heavily on bug reports in issue-tracking systems to reproduce failures. However, the process of failure reproduction is often manually done by developers, making the resolution of bugs inefficient and costly, especially since bug reports are often written in natural language. For example, bug reports may miss necessary steps-to-reproduce information or include unclear discussions. However, existing approaches are far from solving all problems in bug report reproduction. The first open problem is the bug oracle generation problem. Current approaches can only support reproducing crash bug reports while other types of bugs still need automatic-generated oracles to determine whether the bug has been reproduced or not. Another open problem is that reproducing environment configurations (e.g., Android SDK version) still requires human effort to manually collect information from bug reports and configure them. This project will develop a novel approach that can support reproducing more bug types of Android bug reports by automatically generating oracles and configuring environments. This research allows software developers to more quickly reproduce bug reports and to fix bugs, which will increase software quality. This, in turn, will benefit our modern society, which greatly relies on software. Additionally, this project contributes toward a diverse workforce, through integration with course curricula, training of students from underrepresented minority groups, and organizing summer workshops aimed at increasing K-12 girls’ interest in STEM-related careers.To substantially improve automated bug report reproduction by supporting oracle generation and environment configuration, novel techniques and tools will be developed that address three important challenges: (1) extract observation/expectation and environment information sentences in a bug report, (2) generate oracle assertion codes that can determine whether the targeted bug has been triggered, (3) configure reproducing environment. In this project, techniques and tools based on a combination of techniques include static/dynamic program analyses, deep learning, natural language processing, and web crawling. The approach will be embedded in a user interface and evaluated extensively on public bug reports and through industrial collaborations.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.

移动应用程序的开发人员在很大程度上依赖问题跟踪系统中的错误报告来复制故障。但是，开发人员经常手动完成失败复制的过程，从而使错误无效且昂贵，尤其是因为错误报告通常是用自然语言编写的。例如，错误报告可能会错过必要的步骤生产信息，或包括不清楚的讨论。但是，现有方法远非解决错误报告复制中的所有问题。第一个开放问题是虫子oracle生成问题。当前的方法只能支持重现崩溃错误报告，而其他类型的错误仍然需要自动生成的甲板来确定该错误是否已复制。另一个开放的问题是，重现环境配置（例如，Android SDK版本）仍然需要人类的努力来手动从错误报告中收集信息并配置它们。该项目将开发一种新颖的方法，可以通过自动生成甲壳和配置环境来支持再现更多的Android错误报告类型的错误类型。这项研究使软件开发人员可以更快地重现错误报告并修复错误，这将提高软件质量。反过来，这将使我们的现代社会受益，这极大地依赖于软件。此外，该项目通过与课程课程的融合，对代表性不足的少数群体的培训进行培训以及组织夏季研讨会的旨在增加K-11女孩对STEM相关职业的兴趣的旨在增加与STEM相关的职业的兴趣的组织介绍，从而有助于提高甲骨文和环境技术的挑战，从而提高了自动化的杂货，从而促进了自动化的自动化，从而提高了自动化的自动化，从而提高了自动化的自动化，从而促进了三种重要的挑战（1）错误报告，（2）生成可以确定目标错误是否已触发的Oracle断言代码，（3）配置复制环境。在此项目中，基于技术组合的技术和工具包括静态/动态程序分析，深度学习，自然语言处理和网络爬行。该方法将嵌入用户界面中，并通过公共错误报告和工业合作进行了广泛的评估。该奖项反映了NSF的法定任务，并使用基金会的知识分子优点和更广泛的影响审查标准，认为值得通过评估来获得支持。