Préparer le modèle à l’analyse de génération de tests

Ouvrir le live script

Préparez le modèle sldvexCruiseControl à l’analyse de génération de test en configurant les paramètres du modèle avec l’analyse Simulink® Design Verifier™.

Configurer les paramètres du modèle

1. Ouvrez le modèle.

open_system("sldvexCruiseControl");

example_model_description.png

2. Dans l’onglet Apps, dans la galerie Apps, sélectionnez Design Verifier.

3. Dans l’onglet Design Verifier, dans la section Prepare, cliquez sur Settings dans le menu déroulant des paramètres du modèle.

4. Dans la boîte de dialogue Configuration Parameters, sélectionnez le volet Solver. Dans la section Solver selection :

  • Définissez l’option Type sur Fixed-step.

  • Définissez l’option Solver sur discrete (no continuous states).

solver_settings.png

Simulink Design Verifier n’analyse que les modèles qui utilisent un solveur à pas fixe. Pour plus d’informations, consultez Fixed Step Solvers in Simulink.

Vérifier la compatibilité du modèle

Lorsque vous analysez un modèle, Simulink Design Verifier commence par effectuer un contrôle de compatibilité. Le modèle est compatible pour l’analyse lorsque sa compilation s’effectue sans erreur. Si votre modèle n’est pas compatible, le logiciel ne peut pas l’analyser.

Vous pouvez vérifier la compatibilité du modèle avant l’analyse. Dans le Simulink Editor, dans l’onglet Design Verifier, cliquez sur Check Compatibility.

Si le contrôle de compatibilité indique que votre modèle est partiellement compatible, votre modèle contient au moins un objet non supporté par Simulink Design Verifier. Vous pouvez analyser un modèle partiellement compatible, mais les objets non supportés sont supprimés par défaut et les résultats de l’analyse peuvent être incomplets. Pour plus de détails sur la suppression automatique, consultez Handle Incompatibilities with Automatic Stubbing.

Si le modèle est incompatible avec Simulink Design Verifier, vous pouvez identifier et corriger les incompatibilités grâce aux messages du Diagnostic Viewer. Pour plus d’informations, consultez Systematic Diagnosis of Errors and Warnings.