Simulink Design Verifier



La version 3.3, incluse dans la mise à jour 2017a, comporte les améliorations suivantes :

  • Découpage temporel par activité : visualisez les effets du timing de l’activité des états sur Model Slicer à des fins de simulation
  • Support des ports d’élément de bus : détectez les erreurs de design, générez des tests et prouvez les propriétés avec des modèles contenant des ports d’élément de bus
  • Génération de test incrémentale : générez des tests supplémentaires depuis le gestionnaire de tests afin d’accroître la couverture
  • Temps de démarrage des analyses réduit : poursuivez l’analyse après les vérifications de compatibilité

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

La version 3.2, incluse dans la mise à jour 2016b, comporte les améliorations suivantes :

  • Model Slicer pour Stateflow : Mettez en évidence les états actifs et les transitions au cours d’intervalles de temps de simulation spécifiés
  • Model Slicer : Mettez en évidence des comportements inattendus dans des harnais de test créés par Simulink Test
  • Génération de test MCDC : Générez des tests à partir de la couverture MCDC pour des réseaux de blocs logiques Simulink en cascade
  • Génération de test incrémentale : Générez des tests afin d’accroître la couverture pour des objets de modèle dans un harnais de test
  • Détection de logique morte : Détectez précisément les logiques mortes sans approximations rationnelles

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

La version 3.1, incluse dans la mise à jour 2016a, comporte les améliorations suivantes :

  • Génération de test : Générez automatiquement des tests pour les S-Functions C/C++
  • Réducteur de variantes : Créez des modèles réduits à la portion utile basés sur des configurations de variantes actives
  • Détection du dépassement de capacité : Trouvez automatiquement les erreurs de dépassement de capacité pour les types de données en virgule fixe avec une longueur de mot atypique
  • Fonctions Simulink : Procédez à la vérification des modèles qui contiennent des fonctions Simulink
  • Génération de rapports : Générez des rapports d'analyse au format PDF

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

La version 2.8.1, incluse dans la Release 2015aSP1, propose des corrections d'erreurs.

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

La version 3.0, incluse dans la Release 2015b, propose des corrections d'erreurs.

  • Analyse des S-fonctions codées en C
  • Model Slicer API
  • Analyse des plages minimales et maximales spécifiées pour les éléments de bus
  • Contrôles Model Advisor pour la détection d'erreurs de conception
  • Améliorations du Test Generation Advisor
  • Génération d'entrées de test et exportation de celles-ci dans des cas de test Simulink Test

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

La version 2.8, incluse dans la Release 2015a, propose des corrections d'erreurs.

Pour en savoir plus, reportez-vous aux Notes de mise à jour.