Design-to-test for Matlab Stateflow (MATLAB toolbox)

Description

DTT-MAT is an academic MATLAB toolbox developed to modify Stateflow models in order to obtain an improved testability for testing programmable controllers. DTT-MAT is an open source toolbox. Users can add or rewrite functions to achieve a better usage.

Four examples are included in the toolbox. They may help users to understand and learn how to use this toolbox.

The current version (V2.0) has been developed with MATLAB 2017b.

People

  • Canlong Ma
  • Claudius Jordan
  • Julien Provost

Download