A Model-Based Approach for Robustness Test Generation

Abstract

Since Critical Infrastructures (CI) strongly rely on network services, robustness testing is a key step to assure the resilience of such systems in the presence of abnormal situations. This work proposes a dynamic robustness test cases generation from state models, using an executable version of the model. A meta-heuristics search based algorithm is used to generate test cases taking into account the control and data aspects of the model.