Reference : Automated Model-in-the-Loop Testing of Continuous Controllers using Search |
Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/2198 | |||
Automated Model-in-the-Loop Testing of Continuous Controllers using Search | |
English | |
Matinnejad, Reza ![]() | |
Nejati, Shiva ![]() | |
Briand, Lionel ![]() | |
Bruckmann, Thomas ![]() | |
Poull, Claude ![]() | |
Aug-2013 | |
5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science | |
141-157 | |
Yes | |
No | |
International | |
The 5th Symposium on Search-Based Software Engineering (SSBSE 2013) | |
from 24-8-2013 to 26-8-2013 | |
Saint Petersburg | |
Russia | |
[en] 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. | |
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) | |
http://hdl.handle.net/10993/2198 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.