Vertaling van "Polyspace" in Frans
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
Handhaben von nicht-bewiesenem Code (von den Polyspace Produkten orange markiert)
Code non-prouvé (représenté en orange dans Polyspace)
Polyspace Code Prover zeigt auch Bereichsinformationen für Variablen und Funktionsrückgabewerte an und kann Bedingungen nachweisen, unter denen Variablen bestimmte Bereichsgrenzen überschreiten.
Polyspace Code Prover affiche également des informations sur les plages de valeur des variables et des valeurs de retour de fonction, et peut prouver les conditions selon lesquelles les variables excèdent les limites de plages spécifiées.
Polyspace Code Prover verwendet semantische Analysen und abstrakte Interpretation auf der Basis von formalen Methoden zur Verifikation des Daten- und Kontrollflussverhaltens.
Polyspace Code Prover utilise l'analyse sémantique et l'interprétation abstraite basée sur des méthodes formelles pour vérifier le comportement interprocédural, le contrôle et les flux de données du logiciel.
Anhand von semantischer Analyse und abstrakter Interpretation basierend auf formalen Methoden überprüft Polyspace Code Prover das prozessübergreifende sowie das Kontrollfluss- und Datenflussverhalten der Software.
Polyspace Code Prover utilise l'analyse sémantique et l'interprétation abstraite basée sur des méthodes formelles pour vérifier le comportement interprocédural, de contrôle et de flux de données du logiciel.
Mittels Verwendung von statischer Analyse mit semantischen Analyse-Methoden analysiert Polyspace Bug Finder den Daten- und Kontrollfluss sowie das interprozedurale Verhalten.
Grâce à l'analyse statique, y compris l'analyse sémantique, Polyspace Bug Finder analyse les éléments de contrôle du logiciel, les flux de données et le comportement interprocédural.
Im unten stehenden Beispiel hat Polyspace Code Prover festgestellt, dass die Divisionsoperation aus einem Bereich zwischen -1701 und 3276 für den linken Operanden besteht; der rechte Operand ist 9. Somit ergibt sich nach der Division ein Bereich zwischen -189 und 364.
Dans l'exemple ci-dessous, Polyspace Code Prover a établi que l'opération de division fait intervenir une plage de -1701 à 3276 pour l'opérande de gauche, tandis que l'opérande de droite vaut 9.
Durch die Messbarkeit der Verbesserungsrate der Codequalität bietet Polyspace Code Prover Entwicklern, Testern und Projektmanagern die Möglichkeit, qualitativ hochwertigen Code zu planen und zu entwickeln.
En mesurant le taux d'amélioration de la qualité du code, Polyspace Code Prover permet aux développeurs, testeurs et gestionnaires de projet de cibler et de livrer du code d'excellente qualité.
Sie verwenden Polyspace Code Prover im Rahmen eines hochwertigen Qualitätssicherungsprozesses, um alle möglichen Kombinationen von Eingaben, Pfaden und Variablenwerten umfassend zu verifizieren.
Vous pouvez utiliser Polyspace Code Prover dans le cadre d'un processus d'assurance qualité soutenu afin de vérifier l'intégralité des valeurs d'entrées, de chemins et de variables.
Lassen Sie Defekte automatisch den Besitzern der jeweiligen Komponente zuweisen, Benachrichtigungen per E-Mail senden und Ergebnisse an Polyspace Bug Finder Access hochladen, um die Probleme vorzusortieren und zu lösen.
Attribuez automatiquement les défauts aux propriétaires des composants, envoyez des notifications par email et importez les résultats dans Polyspace Bug Finder Access pour faciliter le tri et la résolution des problèmes.
Sie können Polyspace Code Prover für die Verifikation von generiertem Code oder gemischtem Code, der sowohl generierten als auch handgeschriebenen Code enthält, verwenden.
Vous pouvez utiliser Polyspace Code Prover pour vérifier du code généré ou du code mixte contenant à la fois du code généré et du code manuel.
Polyspace Code Prover erkennt, wo Laufzeitfehler auftreten können, und identifiziert Code, der nachweislich sicher vor Laufzeitfehlern ist.
Polyspace Code Prover identifie l'emplacement des erreurs d'exécution ainsi que le code prouvé comme étant exempt d'erreurs d'exécution.
Polyspace Code Prover verwendet die statische Analyse und die abstrakte Interpretation auf der Basis von formalen Methoden.
Polyspace Code Prover utilise l'analyse statique et l'interprétation abstraite basée sur des méthodes formelles.
