Tests d’analyse de la couverture du code

Évaluer la validation et la fiabilité de l’ensemble du code

L’analyse de la couverture du code dans Simulink® Design Verifier™ consiste à évaluer l’exhaustivité des tests effectués sur le code généré à partir d’un modèle Simulink. Cette analyse est cruciale pour garantir que le code se comporte comme prévu et respecte les normes de qualité. L’analyse de la couverture du code permet d’identifier les parties du code qui n’ont pas été exécutées pendant les tests, ce qui peut mettre en évidence des faiblesses potentielles ou des scénarios non testés.

En effectuant une analyse de la couverture du code, les développeurs peuvent :

  • Identifier les parties non testées du code.

  • Améliorer les cas de test pour obtenir une meilleure couverture.

  • Assurer la conformité aux normes industrielles, telles que DO-178C, qui exigent souvent des niveaux spécifiques de couverture du code.

Simulink Design Verifier intègre ces analyses au workflow Model-Based Design, facilitant ainsi les tests et la validation du modèle et du code généré. Cette intégration permet de maintenir la cohérence entre le comportement du modèle et le code implémenté, en veillant à ce que la transition entre le modèle et le code ne conduise pas à des erreurs.

Rubriques