Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
Fri 15 Oct 2021 10:30 - 10:50 at Room 2 - Testing and Analysis IV Chair(s): Fuyuki Ishikawa

As software evolves, regression testing techniques are typically used to ensure the new changes are not adversely affecting the existing features. Despite recent advances, regression testing for distributed systems remains challenging and extremely costly. Existing techniques often require running a failing system several time before detecting a regression. As a result, conventional approaches that use re-execution without considering the inherent non-determinism of distributed systems, and providing no (or low) control over execution are inadequate in many ways. In this paper, we present MRegTest, a replay-based regression testing framework in the context of model-driven development to facilitate deterministic replay of traces for detecting regressions while offering sufficient control for the purpose of testing over the execution of the changed system. The experimental results show that compared to the traditional approaches that annotate traces with timestamps and variable values MRegTest detects almost all regressions while reducing the size of the trace significantly and incurring similar runtime overhead.

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

10:30 - 11:30
Testing and Analysis IVTechnical Papers at Room 2
Chair(s): Fuyuki Ishikawa National Institute of Informatics
10:30
20m
Full-paper
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven DevelopmentFT
Technical Papers
Majid Babaei Queen's University, Juergen Dingel Queen's University, Kingston, Ontario
10:50
20m
Full-paper
Applying Declarative Analysis to Software Product Line Models: An Industrial StudyP&I
Technical Papers
Ramy Shahin University of Toronto, Robert Hackman , Rafael F. Toledo University of Waterloo, Ramesh S , Joanne M. Atlee University of Waterloo, Marsha Chechik University of Toronto
Pre-print
11:10
20m
Talk
Analysis of Variability Models: A Systematic Literature ReviewJ1ST
Technical Papers