TY - GEN
T1 - Automated model-in-the-loop testing of continuous controllers using search
AU - Matinnejad, Reza
AU - Nejati, Shiva
AU - Briand, Lionel
AU - Bruckmann, Thomas
AU - Poull, Claude
PY - 2013
Y1 - 2013
N2 - The number and the complexity of software components embedded in today's vehicles is rapidly increasing. A large group of these components monitor and control the operating conditions of physical devices (e.g., components controlling engines, brakes, and airbags). These controllers are known as continuous controllers. In this paper, we study testing of continuous controllers at the Model-in-Loop (MiL) level where both the controller and the environment are represented by models and connected in a closed feedback loop system. We identify a set of common requirements characterizing the desired behavior of continuous controllers, and develop a search-based technique to automatically generate test cases for these requirements. We evaluated our approach by applying it to a real automotive air compressor module. Our experience shows that our approach automatically generates several test cases for which the MiL level simulations indicate potential violations of the system requirements. Further, not only do our approach generates better test cases faster than random test case generation, but we also achieve better results than test scenarios devised by domain experts.
AB - The number and the complexity of software components embedded in today's vehicles is rapidly increasing. A large group of these components monitor and control the operating conditions of physical devices (e.g., components controlling engines, brakes, and airbags). These controllers are known as continuous controllers. In this paper, we study testing of continuous controllers at the Model-in-Loop (MiL) level where both the controller and the environment are represented by models and connected in a closed feedback loop system. We identify a set of common requirements characterizing the desired behavior of continuous controllers, and develop a search-based technique to automatically generate test cases for these requirements. We evaluated our approach by applying it to a real automotive air compressor module. Our experience shows that our approach automatically generates several test cases for which the MiL level simulations indicate potential violations of the system requirements. Further, not only do our approach generates better test cases faster than random test case generation, but we also achieve better results than test scenarios devised by domain experts.
UR - http://www.scopus.com/inward/record.url?scp=84884923034&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-39742-4_12
DO - 10.1007/978-3-642-39742-4_12
M3 - Conference contribution
AN - SCOPUS:84884923034
SN - 9783642397417
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 141
EP - 157
BT - Search Based Software Engineering - 5th International Symposium, SSBSE 2013, Proceedings
T2 - 5th International Symposium on Search-Based Software Engineering, SSBSE 2013
Y2 - 24 August 2013 through 26 August 2013
ER -