Testing Self-Healing Cyber-Physical Systems under Uncertainty with Reinforcement Learning: An Empirical Study
Self-healing is becoming an essential feature of Cyber-Physical Systems (CPSs). CPSs with this feature are named Self-Healing CPSs (SH-CPSs). SH-CPSs detect and recover from errors caused by hardware or software faults at runtime and handle uncertainties arising from their interactions with environments. Therefore, it is critical to test if SH-CPSs can still behave as expected under uncertainties. By testing an SH-CPS in various conditions and learning from testing results, reinforcement learning algorithms can gradually optimize their testing policies and apply the policies to detect failures, i.e., cases that the SH-CPS fails to behave as expected. However, there is insufficient evidence to know which reinforcement learning algorithms perform the best in terms of testing SH-CPSs behaviors including their self-healing behaviors under uncertainties. To this end, we conducted an empirical study to evaluate the performance of 14 combinations of reinforcement learning algorithms, with two value function learning based methods for operation invocations and seven policy optimization based algorithms for introducing uncertainties. Experimental results reveal that the 14 combinations of the algorithms achieved similar coverage of system states and transitions, and the combination of Q-learning and Uncertainty Policy Optimization (UPO) detected the most failures among the 14 combinations. On average, the Q-Learning and UPO combination managed to discover two times more failures than the others. Meanwhile, the combination took 52% less time to find a failure. Regarding scalability, the time and space costs of the value function learning based methods grow, as the number of states and transitions of the system under test increases. In contrast, increasing the system’s complexity has little impact on policy optimization based algorithms.
Mon 14 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
16:00 - 17:30 | |||
16:00 15mTalk | Testing Self-Healing Cyber-Physical Systems under Uncertainty with Reinforcement Learning: An Empirical Study Journal First Tao Ma Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Tao Yue Simula Research Laboratory | ||
16:15 15mTalk | ARTE: Automated Generation of Realistic Test Inputs for Web APIs Journal First Juan C. Alonso Universidad de Sevilla, Alberto Martin-Lopez University of Seville, Sergio Segura University of Seville, José María García Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville | ||
16:30 15mTalk | Locating Performance Regression Root Causes in the Field Operations of Web-based Systems: An Experience Report Journal First Lizhi Liao Concordia University, Jinfu Chen Centre for Software Excellence, Huawei, Canada, Heng Li Polytechnique Montréal, Yi Zeng Concordia University, Weiyi Shang Concordia University, Catalin Sporea ERA Environmental Management Solutions, Andrei Toma ERA Environmental Management Solutions, Sarah Sajedi ERA Environmental Management Solutions | ||
16:45 15mTalk | iBiR: Bug Report driven Fault Injection Journal First Ahmed Khanfir University of Luxembourg, Anil Koyuncu Sabanci University, Mike Papadakis University of Luxembourg, Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé SnT, University of Luxembourg, Jacques Klein University of Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg | ||
17:00 15mTalk | Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution Journal First Milos Ojdanic University of Luxembourg, Ezekiel Soremekun SnT, University of Luxembourg, Renzo Degiovanni SnT, University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg Link to publication DOI Pre-print |