SHF: Small: Testing and Profiling Asynchronous Software

SHF：小型：测试和分析异步软件

• 批准号: 1907727
• 负责人: Frank Tip
• 金额: $ 49.98万
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-10-01 至 2023-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1907727&HistoricalAwards=false
• 关键词: SHF; Small; Testing; Profiling; Asynchronous

Asynchronous programming is an increasingly popular programming paradigm that targets scenarios where actions need to be performed in response to events. Typical examples of such scenarios include user input being entered in the graphical user interface of a web application, or messages arriving via network connections in a server application. In such scenarios, is undesirable for program execution to block until an event arrives. Event-driven programming is widely used to accommodate asynchrony, and involves structuring an application as a collection of event handlers that are executed in response to detected events. However, recent years have seen the introduction, and broad adoption, of more advanced programming-language features for asynchronous programming. These features are complex, and lack of familiarity with their use may lead to asynchronous software that is insufficiently well-tested, and that may exhibit poor performance. Existing techniques for testing and performance analysis do not work well for asynchronous applications. The main goal of this project is the development of practical algorithms and tools for testing and profiling asynchronous software. The project's broader significance and importance follows from improvements in the quality of asynchronous software that are enabled by the developed algorithms and tools.The technical focus of this project is on the development of techniques for testing and profiling asynchronous software. This includes the design, implementation, and evaluation of feedback-directed random-testing techniques for event-driven asynchronous applications. In addition, the research includes the establishment of coverage criteria for promise-based asynchronous software and the development of techniques for systematically exploring the execution paths in such programs with the objective of maximizing coverage. The project also includes the design, implementation, and evaluation of profiling tools for detecting situations where suboptimal scheduling of asynchronous computations causes performance degradation. The research targets software written in the JavaScript programming language, a setting where asynchronous programming is practiced out of necessity due to the absence of concurrency at the language level. Together, the developed techniques facilitate the development of more reliable and efficient asynchronous software, by providing programmers with suitable tools for testing and detecting performance bottlenecks.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.

异步编程是一种越来越流行的编程范式，它针对需要执行操作以响应事件的场景。这种场景的典型示例包括在web应用的图形用户界面中输入的用户输入，或者经由服务器应用中的网络连接到达的消息。在这种情况下，不希望程序执行阻塞，直到事件到达。事件驱动编程被广泛用于适应复杂性，并且涉及将应用程序构造为响应于检测到的事件而执行的事件处理程序的集合。然而，近年来已经看到了异步编程的更高级编程语言特性的引入和广泛采用。这些特性很复杂，如果不熟悉它们的使用，可能会导致异步软件没有经过充分的测试，并且可能表现出很差的性能。现有的测试和性能分析技术不能很好地用于异步应用程序。该项目的主要目标是开发用于测试和分析异步软件的实用算法和工具。该项目的更广泛的意义和重要性来自于异步软件质量的改进，这些改进是由开发的算法和工具实现的。该项目的技术重点是开发测试和分析异步软件的技术。这包括事件驱动的异步应用程序的反馈导向随机测试技术的设计，实现和评估。此外，该研究还包括建立基于承诺的异步软件的覆盖标准，以及开发系统地探索此类程序中的执行路径的技术，其目标是最大限度地提高覆盖率。该项目还包括分析工具的设计，实现和评估，用于检测异步计算的次优调度导致性能下降的情况。 该研究的目标是用JavaScript编程语言编写的软件，由于在语言级别没有并发性，因此需要进行异步编程。通过为程序员提供测试和检测性能瓶颈的合适工具，所开发的技术共同促进了更可靠和更有效的异步软件的开发。该奖项反映了NSF的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs

• DOI: 10.1109/tse.2022.3147975
• 发表时间: 2021-07
• 期刊: IEEE Transactions on Software Engineering
• 影响因子: 7.4
• 作者: Ellen Arteca;M. Schäfer;F. Tip

Code Coverage Criteria for Asynchronous Programs

• DOI: 10.1145/3611643.3616292
• 发表时间: 2023-11
• 期刊: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
• 作者: Mohammad Ganji;Saba Alimadadi;Frank Tip

npm-filter: Automating the mining of dynamic information from npm packages

npm-filter：自动从 npm 包中挖掘动态信息

• DOI: 10.1145/3524842.3528501
• 发表时间: 2022
• 期刊: Proceedings of the 19th International Conference on Mining Software Repositories (MSR ’22
• 作者: Arteca, Ellen;Turcotte, Alexi
• 通讯作者: Turcotte, Alexi

Increasing the Responsiveness of Web Applications by Introducing Lazy Loading

• DOI: 10.1109/ase56229.2023.00192
• 发表时间: 2023-09
• 期刊: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)
• 作者: Alexi Turcotte;Satyajit Gokhale;Frank Tip

Reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications

Reformulator：数据库支持的应用程序中 N 1 问题的自动重构

• DOI: 10.1145/3551349.3556911
• 发表时间: 2022
• 期刊: ACM
• 作者: Turcotte, Alexi;Aldrich, Mark W.;Tip, Frank
• 通讯作者: Tip, Frank