Workflow avec à la fois Polyspace Bug Finder et Polyspace Code Prover

Polyspace® Bug Finder™ et Polyspace Code Prover™ effectue différents types d’analyses statiques qui poursuivent des objectifs différents. Code Prover tente de prouver mathématiquement l’absence d’erreurs run-time. Bug Finder détecte de nombreux types d’infractions aux règles de codage et de défauts de codage.

Si vous disposez à la fois de Bug Finder et de Code Prover, intégrez ces produits progressivement à votre workflow de développement de logiciels. Par exemple :

  • Tous les développeurs de votre organisation peuvent exécuter Bug Finder sur un code qui vient d’être mis au point. Pour respecter les normes au sein de votre organisation, vous pouvez déployer une configuration commune qui ne recherche que des types de défauts spécifiques.

    Code Prover peut être déployé dans le cadre de la suite de tests unitaires.

  • Vous pouvez exécuter Code Prover uniquement sur les composants essentiels de votre projet, tout en exécutant Bug Finder sur l'ensemble du projet.

  • Vous pouvez exécuter Code Prover sur des modules de code au niveau des tests unitaires, et exécuter Bug Finder lors de l'intégration des modules.

    Vous pouvez exécuter Code Prover avant les tests unitaires. Code Prover procède à une vérification exhaustive de votre code et tente de prouver la présence ou l’absence d’erreurs. Au lieu d'écrire des tests unitaires pour l'ensemble de votre code, vous pouvez alors écrire des tests uniquement pour le code non prouvé. Le recours à Code Prover avant les tests unitaires réduit considérablement les efforts de test.

Selon la nature de votre workflow de développement de logiciels et des ressources disponibles, il existe de nombreuses autres manières d'intégrer ces deux types d'analyse. Vous pouvez exécuter les deux produits sur votre desktop pendant le développement ou dans le cadre de tests automatisés réalisés sur un serveur à distance. Remarque : il est plus facile d'interpréter et de corriger les bugs à un stade précoce du développement. Vous tirez avantage de l’utilisation de ces deux produits si vous les déployez tôt et régulièrement au cours de votre processus de développement.

Deux éléments importants doivent être pris en compte si vous utilisez à la fois Bug Finder et Code Prover sur le même code.

Vous pouvez être amené à modifier davantage d'options par défaut lorsque vous lancez la vérification Code Prover. En effet, Code Prover est plus strict en ce qui concerne les erreurs de compilation et de liaison.