Shaukat Ali


Title Testing Cyber-Physical Systems in Uncertainty

It is a well-recognized fact that Cyber-Physical Systems (CPSs) face both known and unknown uncertainty during their operation. This demands the development of testing techniques that must take into account known uncertainty both in the CPS and its environment with the final goal of discovering unknown uncertainty against which the CPS can be tested. Eventually, the implementation of the CPS can be improved to shield it against the newly discovered uncertainty. In this presentation, I will present some of the results that have been achieved in an EU Horizon2020 project in this regard. First, modeling of test ready models of CPSs together with subjective uncertainty using the Uncertainty Modeling Framework will be presented. Second, two uncertainty-based test case generation and four test case minimization techniques relying on the test ready models founded on Uncertainty theory and multi-objective search will be presented. Third, the evaluation of the test case generation and minimization techniques that was conducted to select the best strategy to be used in the practice to test a real CPS will be presented. Finally, the results of testing a real CPS with the selected best strategy will be presented.


Shaukat Ali is currently a senior research scientist in the Software Engineering Department, Simula Research Laboratory, Norway. He has been affiliated to Simula Research Lab since 2007. He has been involved in many industrial and research projects related to Model-based Testing (MBT) and Search-based Software Engineering since 2003. He has experience of working in several industries and academic research groups in many countries including UK, Canada, Norway, and Pakistan. Shaukat has been on the program or organisation committees of several international, IEEE and ACM conferences such as ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, European Conference on Modeling Foundations and Applications and System Analysis and Modelling Conference. He is PI and CO-PI of several national and international research projects.