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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.