Bei der statischen Codeanalyse in Polyspace-Tools wird der Code in Hinblick auf Laufzeitfehler überprüft, die Einhaltung von MISRA-Coding-Standards wird sichergestellt und es werden Artefakte für die DO-178-Zertifizierung erstellt.
Les outils Polyspace pour l'analyse statique de code vérifient que le code ne comporte pas d'erreurs run-time, assurent la conformité avec les normes de codage MISRA et créent des designs aux autorités de réglementations afin de prouver que ses appareils sont sûrs.
(1. August 2006) Ein amerikanischer Softwaretesttoolhersteller aus San Francisco und Verifysoft Technology GmbH geben den Abschluß eines Distributions- und Supportvertrages für Produkte zur statischen Codeanalyse bekannt.
(1 Août 2006) Un éditeur américain de San Francisco et Verifysoft Technology GmbH ont conclu un contrat de distribution et de support pour les produits d'analyse statique.
Vermeiden Sie die Behebung lokaler Probleme und priorisieren Sie die Integration einer statischen Codeanalyse in die bestehende Testfolge, um die Entstehung weiterer lokaler technischer Schulden zu minimieren.
Évitez de corriger des problèmes locaux et intégrez en priorité l'analyse du code statique à votre ensemble de test existant afin de limiter la création d'une plus grande dette technique locale.
Die Produkte zur statischen Codeanalyse in Polyspace basieren auf formalen Methoden, die die Abwesenheit kritischer Laufzeitfehler bei allen möglichen Steuerungs- und Datenflüssen beweisen.
Les produits Polyspace pour l'analyse statique de code utilisent des méthodes formelles pour prouver l'absence d'erreurs run-time critiques sous tous les flux de contrôle et de données possibles.
Insbesondere sind unsere Werkzeuge zur Messung der Code Coverage und zur Statischen Codeanalyse stark nachgefragt.
Ses outils de mesure de la couverture de code et d'analyse de code statique sont particulièrement demandés.
Eine Plattform zur statischen Codeanalyse, die ein noch höheres Maß an Sicherheit bietet, indem sie sich unseren sich ständig weiterentwickelnden Code ansieht und jeden möglichen Einstiegspunkt in unsere Anwendung bewertet.
Une plateforme d'analyse statique du code qui offre un niveau de sécurité encore plus élevé en examinant réellement notre code en constante évolution et en évaluant chaque point d'entrée possible dans notre application.
