%0 Conference Proceedings
%T Fragility-Oriented Testing with Model Execution and Reinforcement Learning
%+ Simula Research Laboratory [Lysaker] (SRL)
%+ University of Oslo (UiO)
%+ Carleton University
%A Ma, Tao
%A Ali, Shaukat
%A Yue, Tao
%A Elaasar, Maged
%Z Part 1: Model Based Testing
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 29th IFIP International Conference on Testing Software and Systems (ICTSS)
%C St. Petersburg, Russia
%Y Nina Yevtushenko
%Y Ana Rosa Cavalli
%Y Hüsnü Yenigün
%I Springer International Publishing
%3 Testing Software and Systems
%V LNCS-10533
%P 3-20
%8 2017-10-09
%D 2017
%R 10.1007/978-3-319-67549-7_1
%K Cyber-Physical Systems
%K Uncertainty
%K Self-healing behaviors
%K Model execution
%K Reinforcement learning
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Self-healing is becoming an essential behavior of smart Cyber-Physical Systems (CPSs), which enables them to recover from faults by themselves. Such behaviors make decisions autonomously at runtime and they often operate in an uncertain physical environment making testing even more challenging. To this end, we propose Fragility-Oriented Testing (FOT), which relies on model execution and reinforcement learning to cost-effectively test self-healing behaviors of CPSs in the presence of environmental uncertainty. We evaluated FOT’s performance by comparing it with a Coverage-Oriented Testing (COT) algorithm. Evaluation results show that FOT significantly outperformed COT for testing nine self-healing behaviors implemented in three case studies. On average, FOT managed to find 80% more faults than COT and for cases when both FOT and COT found the same faults, FOT took on average 50% less time than COT.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01678980/document
%2 https://inria.hal.science/hal-01678980/file/449632_1_En_1_Chapter.pdf
%L hal-01678980
%U https://inria.hal.science/hal-01678980
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-10533