Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Skruch, P., Panel, M., Kowalczyk, B.: Model-Based Testing in Embedded Automotive Systems, 1st edn. CRC Press (2011)
Nise, N.S.: Control Systems Engineering, 4th edn. John-Wiely Sons (2004)
Lee, E., Seshia, S.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach (2010), http://leeseshia.org
Henzinger, T., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 1–15. Springer, Heidelberg (2006)
Pretschner, A., Broy, M., Krüger, I., Stauner, T.: Software engineering for automotive systems: A roadmap. In: FOSE, pp. 55–71 (2007)
Henzinger, T.: The theory of hybrid automata. In: LICS, pp. 278–292 (1996)
Stauner, T.: Properties of hybrid systems-a computer science perspective. Formal Methods in System Design 24(3), 223–259 (2004)
Inc., T.M.: Simulink, http://www.mathworks.nl/products/simulink
Inc. Reactive Systems, http://www.reactive-systems.com/simulink-testing-validation.html
Luke, S.: Essentials of Metaheuristics. Lulu (2009), http://cs.gmu.edu/~sean/book/metaheuristics/
Grinstein, G., Trutschl, M., Cvek, U.: High-dimensional visualizations. In: 7th Workshop on Data Mining Conference KDD Workshop, pp. 7–19 (2001)
Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8–22. Springer, Heidelberg (1999)
Sahbani, A., Pascal, J.: Simulation of hyibrd systems using stateflow. In: ESM, pp. 271–275 (2000)
Neto, A.C.D., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: A systematic review. In: ASE, pp. 31–36 (2007)
Iqbal, M.Z., Arcuri, A., Briand, L.: Combining search-based and adaptive random testing strategies for environment model-based testing of real-time embedded systems. In: SBSE (2012)
Zander-Nowicka, J.: Model-based Testing of Real-Time Embedded Systems in the Automotive Domain. PhD thesis, Elektrotechnik und Informatik der Technischen Universitat, Berlin (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Matinnejad, R., Nejati, S., Briand, L., Bruckmann, T., Poull, C. (2013). Automated Model-in-the-Loop Testing of Continuous Controllers Using Search. In: Ruhe, G., Zhang, Y. (eds) Search Based Software Engineering. SSBSE 2013. Lecture Notes in Computer Science, vol 8084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39742-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-39742-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39741-7
Online ISBN: 978-3-642-39742-4
eBook Packages: Computer ScienceComputer Science (R0)