Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Mon 26 Oct 2020 13:45 - 14:15 at Farfetch (D. Maria) - Journal First 1 Chair(s): Maurício Aniche
Tue 27 Oct 2020 00:45 - 01:15 at Farfetch (D. Maria) - Journal First 1 Chair(s): Fabiano Ferrari

Self-healing cyber-physical systems (SH-CPSs) detect and recover from faults by themselves at runtime. Testing such systems is challenging due to the complex implementation of self-healing behaviors and their interaction with the physical environment, both of which are uncertain. To this end, we propose an executable model-based approach to test self-healing behaviors under environmental uncertainties. The approach consists of a Modeling Framework of SH-CPSs (MoSH) and an accompanying Test Model Executor (TM-Executor). MoSH provides a set of modeling constructs and a methodology to specify executable test models, which capture expected system behaviors and environmental uncertainties. TM-Executor executes the test models together with the systems under test, to dynamically test their self-healing behaviors under uncertainties. We demonstrated the successful application of MoSH to specify 11 self-healing behaviors and 17 uncertainties for three SH-CPSs. The time spent by TM-Executor to perform testing activities was in the order of milliseconds, though the time spent was strongly correlated with the complexity of test models.

Mon 26 Oct

Displayed time zone: Lisbon change

13:45 - 15:15
Journal First 1Journal-First Papers at Farfetch (D. Maria) +11h
Chair(s): Maurício Aniche Delft University of Technology, Netherlands
13:45
30m
Talk
Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems
Journal-First Papers
Tao Ma Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Tao Yue Nanjing University of Aeronautics and Astronautics
Link to publication DOI
14:15
30m
Talk
Empirical evaluation of mutation-based test case prioritization techniques
Journal-First Papers
Donghwan Shin University of Luxembourg, Shin Yoo Korea Advanced Institute of Science and Technology, Mike Papadakis University of Luxembourg, Luxembourg, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
Link to publication DOI
14:45
30m
Talk
Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects
Journal-First Papers
Fabian Trautsch University of Göttingen, Steffen Herbold University of Göttingen, Jens Grabowski University of Göttingen
Link to publication DOI

Tue 27 Oct

Displayed time zone: Lisbon change

00:45 - 02:15
Journal First 1Journal-First Papers at Farfetch (D. Maria)
Chair(s): Fabiano Ferrari Federal University of São Carlos
00:45
30m
Talk
Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems
Journal-First Papers
Tao Ma Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Tao Yue Nanjing University of Aeronautics and Astronautics
Link to publication DOI
01:15
30m
Talk
Empirical evaluation of mutation-based test case prioritization techniques
Journal-First Papers
Donghwan Shin University of Luxembourg, Shin Yoo Korea Advanced Institute of Science and Technology, Mike Papadakis University of Luxembourg, Luxembourg, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
Link to publication DOI
01:45
30m
Talk
Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects
Journal-First Papers
Fabian Trautsch University of Göttingen, Steffen Herbold University of Göttingen, Jens Grabowski University of Göttingen
Link to publication DOI