Assessing, generating, and prioritizing tests for asynchronous JavaScript programs

网络对我们生活和社会的许多方面产生了重大影响。Web应用程序已经成为我们教育、娱乐、政府、商业以及个人和社会生活中不可或缺的一部分。需要进行严格的测试，以确保所有这些应用程序按预期运行。然而，测试Web应用程序是一项特别具有挑战性的工作。JavaScript已经成为客户端Web开发的通用弗兰卡。最近，像Node.js这样的平台已经可以使用JavaScript来编写代码，这些代码可以在轻量级、快速和可扩展的平台上在浏览器之外运行。因此，服务器端JavaScript开发在过去几年中也经历了指数级增长。JavaScript的流行部分归功于语言的特定范例集，例如异步执行。JavaScript是单线程的，因此经常使用异步回调来模拟并发并提供丰富的用户交互、非阻塞I/O和无缝客户端/服务器通信等功能。不幸的是，分析和测试技术并没有像我们在Web开发中的编程范式那样发展，因此不足以检测和揭示异步代码中的各种错误。本研究的目标是促进异步JavaScript程序的测试过程，以便开发健壮的Web应用程序。为此，我们将在开发环境中为JavaScript程序员和测试人员的日常测试活动提供新颖的技术和工具支持。我们提出的研究将检查传统的测试技术，以更好地理解和解决他们的缺点，在新的编程范式的存在。我们建议重新测试的异步代码，通过引入新的范式来评估现有的测试技术的异步JavaScript执行的充分性，生成的测试，解决传统测试的不足之处，这个进化的编程范式，并优先考虑的测试。这项研究的结果将在研究和工业上产生巨大的影响，并将发展我们对测试异步代码的看法。

The web has had a significant impact on many aspects of our lives and societies. Web applications have become integral parts of our education, entertainment, governments, businesses, and personal and social lives. Rigorous testing is required to ensure all these applications function as expected. However, testing web applications is a particularly challenging endeavour. JavaScript has been the lingua franca of client-side web development. More recently, platforms such as Node.js have made it possible to use JavaScript for writing code that runs outside of the browser on a light-weight, fast, and scalable platform. As such, server-side JavaScript development has also experienced an exponential growth in the past few years. JavaScript owes some of its popularity to the particular set of the language's paradigms, such as asynchronous execution. JavaScript is single-threaded and thus asynchronous callbacks are used regularly to simulate concurrency and provide capabilities such as rich user interactions, non-blocking I/O, and seamless client/server communications. Unfortunately, the analysis and testing techniques have not evolved nearly as much as our programming paradigms in web development have, and are thus not sufficient for detecting and revealing various bugs in asynchronous code. The goal of this research is to facilitate the process of testing asynchronous JavaScript programs in order to allow the development of robust web applications. To this end, we will provide novel techniques and tool support in development environments for JavaScript programmers and testers' everyday testing activities. Our proposed research will examine traditional testing techniques to better understand and address their shortcomings in the presence of new programming paradigms. We propose to revisit testing of asynchronous code, by introducing new paradigms for assessing the adequacy of existing testing techniques for asynchronous JavaScrip execution, generation of tests that address inadequacies of traditional testing for this evolved programming paradigm, and prioritization of the tests. The outcome of this research will have great impact in research and in industry, and will evolve our view of testing asynchronous code.