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

  • Masquage de l’analyse de couverture condition/décision modifiée (MCDC) : utilisez le masquage MCDC​ pour accroître la couverture du modèle
  • Justification automatique de logique morte : excluez les couvertures irréalisables détectées par Simulink Design Verifier
  • Détection de clones améliorée : refactorisez les modèles de bibliothèques répétés et les clones de sous-systèmes
  • Contrôles en cours d’édition Stateflow pour MAAB : corrigez les violations des recommandations pendant l’édition
  • API de mesures du modèle : analysez les modèles référencés et les bibliothèques et rassemblez ces données de mesure
  • Support d’IBM Rational DOORS Next Generation : reliez et tracez les éléments du modèle aux exigences dans DOORS Next Generation

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

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

  • Vérification en cours d’édition : Détectez et réglez les problèmes potentiels de compatibilité rencontrés dans votre modèle au moment de la conception
  • Détection de clones et de variantes : Identifiez des matrices de modélisation afin de refactoriser et de simplifier les modèles
  • Conformité MISRA : Effectuez les contrôles de conformité MISRA disponibles dans Simulink Verification and Validation
  • Couverture de code Processor-in-the-Loop : Évaluez la couverture de code en mode Processor-in-the-Loop
  • Couverture de modèle MCDC : Enregistrez la couverture MCDC pour des réseaux de blocs logiques Simulink en cascade
  • Affichage des résultats de la couverture : Consultez, gérez et cumulez les résultats de la couverture de modèle avec Coverage Results Explorer
  • Paramètres intégrés de configuration de la couverture : Accédez à des paramètres de couverture intégrés via la boîte de dialogue Configuration Parameters
  • Lien aux exigences des harnais : Associez des exigences aux objets de modèle dans des harnais de test stockés en externe

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

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

  • API de mesure du modèle : Exécutez et créez des mesures à l'aide de programmes
  • Contrôles Model Advisor pour la norme médicale IEC 62304 : Contrôlez les modèles afin de vous conformer aux normes médicales
  • Contrôles des normes Model Advisor : Vérifiez que les modèles respectent les conventions de nommage
  • Paramétrage du contrôle Model Advisor : Contrôlez le comportement de vérification à l'aide de paramètres d'entrée
  • Couverture de code pour le code généré : Mesurez la testabilité du code généré grâce à une analyse de la couverture
  • Liens aux exigences : Tracez les exigences jusqu'aux objets dans les harnais de test et les étapes dans les blocs Test Sequence

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

La version 3.9.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.10, incluse dans la mise à jour 2015b, comporte les améliorations suivantes :

  • Contrôles Model Advisor pour la taille, la complexité cyclomatique et la lisibilité des métriques du modèle
  • Création de rapports Model Advisor aux formats Adobe PDF et Microsoft Word
  • Contrôle Model Advisor pour le support des instructions JMAAB, Version 4.0
  • Enregistrement de l'exécution du bloc pendant l'analyse de la couverture de modèle
  • Gestion des paramètres de couverture de modèle dans l'ensemble de configuration de modèle

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

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

  • Mesure de la couverture pour les S-fonctions codées en C
  • Vérifications de Model Advisor pour les fonctions MATLAB

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