MiL testing of highly configurable continuous controllers

Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Brcukmann
2014 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14  
Continuous controllers have been widely used in automotive domain to monitor and control physical components. These controllers are subject to three rounds of testing: Model-in-the-Loop (MiL), Software-in-the-Loop and Hardware-in-the-Loop. In our earlier work, we used meta-heuristic search to automate MiL testing of fixed configurations of continuous controllers. In this paper, we extend our work to support MiL testing of all feasible configurations of continuous controllers. Specifically, we
more » ... e a combination of dimensionality reduction and surrogate modeling techniques to scale our earlier MiL testing approach to large, multi-dimensional input spaces formed by configuration parameters. We evaluated our approach by applying it to a complex, industrial continuous controller. Our experiment shows that our approach identifies test cases indicating requirements violations. Further, we demonstrate that dimensionally reduction helps generate surrogate models with higher prediction accuracy. Finally, we show that combining our search algorithm with surrogate modelling improves its efficiency for two out of three requirements.
doi:10.1145/2642937.2642978 dblp:conf/kbse/MatinnejadNBB14 fatcat:cew6ypcwujh3lpp4rgybofbpz4