Automatic Test Case Generation from Matlab/Simulink models
Abstract
Reliability of dynamic systems is a major issue in industry (aeronautics, railway, automotive,nuclear...). Therefore, most
development processes require the use of model-based approaches such as UML, Matlab/Simulink® , Statemate® , etc. However, resulting models must be checked and corresponding implementations must be tested with respect to these models. In this paper, we present DIVERSITY, the V&V platform of the LISE laboratory, and more specifically Diversity-TG, which is a test case generator. DIVERSITY deals with several modeling languages whose semantics are based on different paradigms concerning execution and communication.
Origin : Files produced by the author(s)