Thu 7 Dec 2023 11:00 - 11:15 at Golden Gate C1 - Testing IV Chair(s): Jonathan Bell

In recent years, asynchronous programming has gained significantly in popularity. Asynchronous software often exhibits complex and error-prone behaviors and should therefore be tested thoroughly. Code coverage has been the most popular metric to assess test suite quality. However, traditional code coverage criteria are not sufficient as a measure of test adequacy for asynchronous applications. In particular, they do not adequately reflect completion, interactions, and error handling of asynchronous operations.
This paper proposes novel test adequacy criteria for measuring: (i) eventual completion of asynchronous operations in terms of both successful and exceptional execution, (ii) registration of reactions for handling both possible outcomes, and (iii) execution of said reactions through tests. We present JScope, a code coverage tool for automatically measuring these criteria in JavaScript applications and implement it as an interactive plug-in for Visual Studio Code.
An evaluation of JScope on 20 JavaScript applications shows that the proposed code coverage criteria can help improve assessment of test adequacy, complementing traditional criteria. Furthermore, an investigation of 15 real GitHub issues concerned with asynchrony demonstrates that the new criteria can help reveal faulty asynchronous behaviors that are untested and are deemed covered by traditional coverage criteria. We also report on a controlled experiment with 12 participants to investigate the usefulness of JScope in realistic settings, demonstrating that it is effective in improving programmers’ ability to assess test adequacy and detect untested behavior, and that it can be helpful for debugging.

Thu 7 Dec

Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:30
Testing IVResearch Papers / Industry Papers at Golden Gate C1
Chair(s): Jonathan Bell Northeastern University
11:00
15m
Talk
Code Coverage Criteria for Asynchronous Programs
Research Papers
Mohammad Ganji Simon Fraser University, Saba Alimadadi Simon Fraser University, Frank Tip Northeastern University
Media Attached
11:15
15m
Talk
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway
Industry Papers
Christoph Laaber Simula Research Laboratory, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway
DOI Pre-print Media Attached
11:30
15m
Talk
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
Industry Papers
Federico Formica McMaster University, Nicholas Petrunti McMaster University, Lucas Bruck McMaster University, Vera Pantelic McMaster University, Mark Lawford McMaster University, Claudio Menghi University of Bergamo; McMaster University
DOI Media Attached
11:45
15m
Talk
Prioritizing Natural Language Test Cases Based on Highly-Used Game Features
Industry Papers
Markos Viggiato University of Alberta, Dale Paas Prodigy Education, Cor-Paul Bezemer University of Alberta
DOI Media Attached
12:00
15m
Talk
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes
Research Papers
Shinhae Kim The Affiliated Institute of ETRI, Sungjae Hwang Sungkyunkwan University
Media Attached
12:15
15m
Talk
[Remote] API-Knowledge Aware Search-based Software Testing: Where, What and How
Research Papers
Xiaoxue Ren Zhejiang University, Xinyuan Ye Australian National University, Yun Lin Shanghai Jiao Tong University, Zhenchang Xing Data61, Shuqing Li The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
Media Attached