Abstract
Model-based development of embedded software with MATLAB/Simulink is a well-established practice in the automotive industry. Simulink models are usually the first executable artifacts in the development process. Testing these models is therefore particularly relevant for an efficient quality assurance process. Considering the expanding role of software in modern automobiles, going hand in hand with rising testing costs, the automation of testing activities is highly desirable. One technique which has shown its capabilities in automating software verification is search-based testing. The tool TASMO utilizes search-based algorithms as well as static analysis techniques to generate input data (test data) for structural coverage of Simulink models. TASMO has been the subject of research for more than 7 years and is now part of the testing tool TPT. This paper introduces TASMO and delivers insight into how the search for model-covering test data is automated.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
The MathWorks: MATLAB/Simulink. http://www.mathworks.com/products/simulink. Accessed 29 Feb 2016
dSpace: TargetLink. https://www.dspace.com/en/ltd/home/products/sw/pcgs/targetli.cfm. Accessed 29 Feb 2016
McMinn, P.: Search-based software testing: past, present and future. In: Software Testing Verification and Validation Workshops, ICSTW ‘11, pp. 153–163 (2011)
Windisch, A.: Suchbasierter Strukturtest für Simulink Modelle. PhD thesis, Berlin Institute of Technology (2011)
Wilmes, B.: Hybrides Testverfahren für Simulink/TargetLink-Modelle. PhD thesis, Berlin Institute of Technology (2015)
PikeTec: TPT. http://www.piketec.com. Accessed 29 Feb 2016
The MathWorks: Simulink coder. http://www.mathworks.com/products/simulink-coder. Accessed 29 Feb 2016
The MathWorks: Stateflow. http://www.mathworks.com/products/stateflow. Accessed 29 Feb 2016
The MathWorks: Simulink verification and validation. http://www.mathworks.com/products/simverification. Accessed 29 Feb 2016
King, J.C.: A new approach to program testing. In: SIGPLAN Not., vol. 10, Issue 6 (1975)
Renfer, G.F.: Automatic program testing. In: Proceedings of 3rd Conference of the Computing and Data Processing Society of Canada, University of Toronto Press (1962)
Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Proceedings of the 10th European Software Engineering Conference, pp. 263–272. ACM (2005)
Fraser, G., Wotawa, F.: Improving model-checkers for software testing. In: International Conference on Quality Software. IEEE Computer Society, Los Alamitos, CA, USA, pp. 25–31 (2007)
Hamon, G.: Simulink design verifier—applying automated formal methods to simulink and stateflow. In: AFM’08: Third Workshop on Automated Formal Methods (2008)
Gadkari, A.A., Mohalik, S., Shashidhar, K., Yeolekar, A., Suresh, J., Ramesh, S.: Automatic generation of test-cases using model checking for SL/SF models. In: Proceedings of the 4th model-driven engineering, verification and validation workshop, pp. 33–46 (2007)
Roy, P., Shankar, N.: SimCheck: an expressive type system for simulink. In: Proceedings of the 2nd NASA Formal Methods Symposium (NFM 2010), pp. 149–160 (2010)
Satpathy, M., Yeolekar, A., Ramesh S.: Randomized directed testing (REDIRECT) for Simulink/Stateflow models. In: Proceedings of the 8th ACM International Conference on Embedded Software, pp. 217–226 (2008)
The MathWorks: simulink design verifier. http://www.mathworks.com/products/sldesignverifier. Accessed 29 Feb 2016
Wilmes, B.: Static preprocessing for automated structural testing of simulink models. Int. J. Adv. Syst. Measur. 6(3/4), 310–323 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Wilmes, B. (2016). TASMO: Automated Test Data Generation for Simulink Model Coverage. In: Gühmann, C., Riese, J., von Rüden, K. (eds) Simulation and Testing for Vehicle Technology. Springer, Cham. https://doi.org/10.1007/978-3-319-32345-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-32345-9_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-32344-2
Online ISBN: 978-3-319-32345-9
eBook Packages: EngineeringEngineering (R0)