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.

移动的应用程序的开发人员严重依赖问题跟踪系统中的错误报告来重现故障。然而，故障再现的过程通常由开发人员手动完成，使得错误的解决效率低下且成本高昂，特别是因为错误报告通常是用自然语言编写的。例如，错误报告可能会遗漏复制信息所需的步骤，或者包含不清楚的讨论。然而，现有的方法远远不能解决缺陷报告再现中的所有问题。第一个开放的问题是错误预言机生成问题。目前的方法只能支持复制崩溃错误报告，而其他类型的错误仍然需要自动生成的预言机来确定错误是否已被复制。另一个开放的问题是再现环境配置（例如，Android SDK版本）仍然需要人工从错误报告中手动收集信息并进行配置。该项目将开发一种新的方法，通过自动生成oracle和配置环境，可以支持复制更多类型的Android错误报告。这项研究使软件开发人员能够更快地复制错误报告并修复错误，这将提高软件质量。反过来，这将有利于我们高度依赖软件的现代社会。此外，该项目通过整合课程、培训代表性不足的少数群体学生以及组织旨在提高K-12女孩对STEM相关职业兴趣的夏季研讨会，为多元化的劳动力做出贡献。为了通过支持oracle生成和环境配置来大幅改善自动化错误报告复制，将开发新的技术和工具，以解决三个重要挑战：（1）提取bug报告中的观察/期望和环境信息语句，（2）生成可以确定目标bug是否已被触发的Oracle断言代码，（3）配置再现环境。在这个项目中，基于技术组合的技术和工具包括静态/动态程序分析，深度学习，自然语言处理和Web爬行。该方法将嵌入到用户界面中，并通过公共错误报告和行业合作进行广泛评估。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。