Les outils PolySpace Technologies permettent de faire une analyse statique de logiciels écrits en Ada et C afin de détecter la présence éventuelle d'anomalies résiduelles pouvant entraîner une erreur d'exécution, telles que la division par zéro, le débordement de capacité mémoire (overflow, conversion illégale de types, débordement de tableau), les conflits d'accès, la détection de code mort, ...
Les références de Créalie
Créalie a réalisé plusieurs analyses de logiciel avec les outils Polyspace, principalement dans le monde de l'automobile. Les résultats obtenus ont à chaque fois permis de corriger des anomalies graves qui n'auraient pas été détectées par les méthodes de test conventionnelles. Ces expériences nous ont permis d'acquérir la maîtrise de PolySpace et d'atteindre une grande efficacité dans l'analyse des résultats.
La méthodologie proposée par Créalie pour une mise en oeuvre optimale de PolySpace

La technologie PolySpace est très performante. Les outils ont une interface homme / machine qui les rendent faciles à mettre en oeuvre.

Pour atteindre l'efficacité optimale dans la mise en oeuvre de PolySpace, voici tout d'abord deux recommandations d'ordre général :
  • Effectuer d'abord une analyse statique avec un outil tel que QAC pour vérifier la qualité de vos logiciels et leur niveau de complexité. Vous favoriserez l'efficacité de PolySpace.
  • Utiliser PolySpace dès les premières étapes d'intégration, afin d'éliminer aisément les anomalies les plus pénalisantes en intégration. Vous pourrez ensuite faire plus facilement des analyses successives au fur et à mesure de l'avancement du projet, en minimisant les efforts nécessaires.

La méthodologie proposée par Créalie porte essentiellement sur les points suivants :

  • Préparation des sources :
- la mise en conformité C ANSI
- le remplacement des parties de logiciel non couvertes (modules assembleurs, RTOS...) : comment substituer ces parties en conservant l'intérêt maximum à l'analyse PolySpace ?
  • Lancement des analyses et pré-traitement des résultats :
- l'analyse des codes rouges
- l'analyse des codes gris
- l'analyse des codes oranges : dans quel ordre les traiter ?
  • Les interactions avec les développeurs :
- sous quelle forme leur livrer les résultats ?
- quelle interprétation faire des messages délivrés par l'outil ?
- que faut-il corriger pour poursuivre l'analyse ?
- comment guider le travail de l'outil pour améliorer la pertinence de l'analyse ?
  • La réutilisation des résultats d'une analyse à l'autre ou comment éviter de tout refaire à chaque fois ?
L'offre de Créalie

  • Réalisation d'une mise en oeuvre expérimentale avant la décision d'achat de la technologie :
- Mise en oeuvre complète ou partielle de PolySpace sur un exemple significatif de vos applications, afin de vérifier la pertinence des résultats
- Résultats produits : un rapport d'analyse qui présente de manière détaillée les résultats obtenus les plus significatifs
  • Accompagnement de la mise en oeuvre après achat de la technologie :
- Après installation de la licence et formation réalisées par PolySpace
- Créalie prend en charge, chez vous, en contact direct avec vos équipes, les premières analyses afin de favoriser l'obtention rapide de résultats probants et motivants pour les équipes
- Passage de relais progressif aux utilisateurs, avec support technique pour analyse si besoin de certains cas difficiles.

  • Aide à l'intégration dans le processus de développement :
- Définition précise, en coopération avec les personnes concernées chez vous, de la mise en oeuvre de l'outil, de son insertion dans votre cycle de développement
- Adaptation à votre entreprise ou service de la méthode standard de mise en oeuvre proposée par Créalie
  • Prise en charge d'analyse de logiciels
- Vos équipes sont déjà très occupées par les travaux existants et vous voulez surtout obtenir les résultats des analyses.
- Créalie propose de réaliser les analyses pour vous et de vous transmettre les résultats prêts à être exploités par les développeurs.