Abstract
Matlab/Simulink is a widely used modeling notation for control systems design in automotive industries. Safety standards, such as ISO 26262, are emphasizing model-based testing, in which, test cases derived from the design model are used to show model-code conformance. In this paper, we propose a new aspect-oriented test case generation approach called “MB-ATG” from Simulink models. This approach exploits model checking technique capability to generate counterexamples that constitute test cases. We experiment a real automotive Simulink model with MB-ATG prototype to show its performance. Experimental results show that MB-ATG approach is compliant with standard structural coverage criteria and does not provide redundant test cases.
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
Functional safety of electrical/electronic/programmable electronic safety-related systems, http://www.iec.ch/functionalsafety/
CENELEC: European Committee for Electro-technical Standardization, http://www.iec.ch/functionalsafety/
Hilderman, V., Baghi, T.: Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware). Avionics Communications (2007)
ISO - International Organization for Standardization, ISO 26262 Road vehicles Functional safety Part 10: Guideline on ISO 26262 (2012)
Mathworks, Inc. Simullink Design Verifier 1: User’s Guide (2012)
Hamon, G., De Moura, L., Rushby, J.: Generating Efficient Test Sets with a Model Checker. In: Software Engineering and Formal Methods, SEFM, pp. 261–270. IEEE (2004)
Sheeran, M.: Prover plug-in documentation (2000)
Reicherdt, R., Glesner, S.: Slicing MATLAB simulink models. In: 34th International Conference on Software Engineering (ICSE), pp. 551–561. IEEE (2012)
Gadkari, A., Mohalik, S., Shashidhar, K.C., Yeolekar, A., Suresh, J., Ramesh, S.: Automatic generation of test cases using model checking for SL/SF models. In: 4th Model-Driven Engineering, Verification and Validation Workshop, pp. 33–46 (2007)
Bochot, T., Virelizer, P., Waeselynck, H.: Paths to property violation: a structural approach for analyzing counter-examples. In: 12th International Symposium on High-Assurance Systems Engineering (HASE), pp. 74–83. IEEE (2010)
Sauders, P.T.: Reduction. Reductio ad absurdum. Formal Aspects of Cognitive Processes 22(3), 118–119 (2007)
Tekaya, M., Bennani, M.T., Ben Ahmed, S., Youssef, A.: Equivalence entre Propriétés Simulink et Critères de Couverture. In: Conférence francophone sur l’Architecture Logicielle (CAL). ACM (2014)
Utting, M., Legeard, B.: Practical model-based testing: a tools approach (2007)
Chilenski, J.: An investigation of three forms of the modified condition decision coverage (MCDC) criterion. DTIC Document (2010)
Hayhurst, K., Veehusen, D.S., Chilenski, J., Rierson, L.: A practical tutorial on modified condition/decision coverage. National Aeronautics and Space Administration, Langley Research Center (2001)
ITPower SimEx, http://www.itpower.de/102-1-SimEx-Bi-directional-conversion-of-MATLABSimulink-models-to-XML.html
Wakankar, A., Bhattacharjee, A.K., Dhodapkar, S.D., Pandya, P.K., Arya, K.: Automatic test case generation in model based software design to achieve higher reliability. In: 2nd International Conference on Reliability, Safety and Hazard (ICRESH), pp. 493–499. IEEE (2010)
Peranandam, P., Raviram, S., Satpathy, M., Yeolekar, A., Gadkari, A., Ramesh, S.: An integrated test generation tool for enhanced coverage of Simulink/Stateflow models. In: Design, Automation & Test in Europe (DATE), pp. 308–311. IEEE (2012)
Venkatesh, R., Shrotri, U., Darke, P., Bokil, P.: Test generation for large automotive models. In: IEEE International Conference on Industrial Technology (ICIT), pp. 662–667. IEEE (2012)
Schlich, B., Kowalewski, S.: Model checking C source code for embedded systems. International Journal on Software Tools for Technology Transfer 11(3), 187–202 (2009)
Mathworks, Inc. Getting started guide: R2014b
Hamon, G., De Moura, L., Rushby, J.: Automated test generation with SAL. CSL Technical Note (2005)
Rayadurgam, S., Heimdahl, M.: Coverage based test-case generation using model checkers. In: Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS, pp. 83–91. IEEE (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Tekaya, M., Bennani, M.T., Alagui, M.A., Ahmed, S.B. (2015). Aspect-Oriented Test Case Generation from Matlab/Simulink Models. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Theory and Engineering of Complex Systems and Dependability. DepCoS-RELCOMEX 2015. Advances in Intelligent Systems and Computing, vol 365. Springer, Cham. https://doi.org/10.1007/978-3-319-19216-1_47
Download citation
DOI: https://doi.org/10.1007/978-3-319-19216-1_47
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19215-4
Online ISBN: 978-3-319-19216-1
eBook Packages: EngineeringEngineering (R0)