Les nouveautés Polyspace qui simplifient son utilisation

Au cours de cette présentation nous verrons en quoi les évolutions de la release 2010a peuvent vous simplifier l’utilisation de PolySpace au quotidien.

• La gestion des commentaires associés au code source
  Il est désormais possible d’utiliser des commentaires pour fournir des informations sur les violations des règles de codage, et sur des checks (run time error) spécifiques dans les résultats de la vérification. Cette information peut ensuite rendre le processus d'examen plus rapide et plus facile.
• L’Import/Export des commentaires beaucoup plus abouti, car une comparaison syntaxique est effectuée de manière à satisfaire les localisations dans deux versions du logiciel (Vn vers Vn+i)
• La simplification de l’examen des checks oranges (Orange classifier) car les opérations qui ont été identifiées comme influencées par les valeurs mises en entrée sont mises en exergue.
• L’amélioration du « Data Range Specification » permet à travers une IHM intégrée au Launcher:
  • la prise en charge des paramètres passés par adresse dans les fonctions automatiquement Stubbées,
  • la génération automatique d’un fichier DRS grâce à une pré-analyse du code source
• Les info-bulles du Viewer contiennent:
  • les valeurs des variables et des opérandes,
  • les paramètres de la fonction et les valeurs de retour,
  • des informations sur les pointeurs, d'où ils viennent à l'intérieur de la mémoire allouée et le nom des variables pointées.
  Cela permet de faciliter la compréhension des checks liés aux variables et aux pointeurs.
• Le générateur de rapport présentant les résultats PolySpace en PDF, HTML et autres formats de sortie.