2015 | OriginalPaper | Buchkapitel
Aspect-Oriented Test Case Generation from Matlab/Simulink Models
verfasst von : Manel Tekaya, Mohamed Taha Bennani, Mohamed Abidi Alagui, Samir Ben Ahmed
Erschienen in: Theory and Engineering of Complex Systems and Dependability
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.