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

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

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

DrAsync: identifying and visualizing anti-patterns in asynchronous JavaScript

DrAsync：识别和可视化异步 JavaScript 中的反模式

• DOI: 10.1145/3510003.3510097
• 发表时间: 2022
• 期刊: ICSE 2022
• 作者: Turcotte, Alexi;Shah, Michael D.;Aldrich, Mark W.;Tip, Frank
• 通讯作者: Tip, Frank