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.
Polyspace Code
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.
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 est un solide outil d'analyse statique qui prouve l'absence d'overflow, de division par zéro, de débordement de tableaux et autres erreurs d'exécution dans le code source C et C++.
Polyspace-Code Prover ist ein zuverlässiges statisches Analyse-Tool, das die Abwesenheit von Fehlern wie Überlauf, Division durch Null, unzulässiger Array-Zugriffe und bestimmten anderen Laufzeitfehlern in C und C++-Quellcode beweist.
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.
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'intégration continue en l'incorporant à votre processus de déploiement.
Sie können Polyspace Code Prover im Rahmen eines kontinuierlichen Integrationsprozesses nutzen, indem Sie Polyspace in Ihren Build-Prozess integrieren.
Polyspace Code Prover utilise l'analyse statique et l'interprétation abstraite basée sur des méthodes formelles.
Polyspace Code Prover verwendet die statische Analyse und die abstrakte Interpretation auf der Basis von formalen Methoden.
Consultez les notes expliquant les avantages techniques de l'utilisation de la solution Polyspace Code Prover.
Lesen Sie Artikel über die technischen Vorteile beim Einsatz der Polyspace Code Prover. Anwenderberichte
Polyspace Code Prover peut être intégré à des systèmes de déploiement pour une vérification automatisée.
Polyspace Code Prover kann in Build-Systeme zur automatischen Verifikation integriert werden.
Polyspace Code Prover utilise un code de couleur pour indiquer l'état de chaque élément du code.
Polyspace Code Prover greift auf eine Farbcodierung zurück, um den Status der einzelnen Code-Elemente anzugeben.
Création d'artefacts de certification Polyspace Code Prover fonctionne avec Polyspace Bug Finder pour identifier les défauts critiques pour la sécurité dans votre code source, notamment la division par zéro ou le débordement de tableau.
Polyspace Code Prover arbeitet mit Polyspace Bug Finder zusammen, um sicherheitskritische Fehler wie Division durch Null oder sicherheitsrelevante Pufferüberläufe in Ihrem Quellcode zu finden und die Einhaltung von Coding-Standards wie MISRA zu prüfen.
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 zeigt auch Bereichsinformationen für Variablen und Funktionsrückgabewerte an und kann Bedingungen nachweisen, unter denen Variablen bestimmte Bereichsgrenzen überschreiten.
Polyspace Code Prover Access offre une interface web pour les résultats de vérification de code Polyspace et les métriques de qualité stockés dans une base de données centrale.
Polyspace Code Prover Access bietet eine Webbrowser-Benutzeroberfläche für Ergebnisse der Code-Verifikation mit Polyspace und Qualitätsmesswerten, die in einem zentralen Repository gespeichert werden.
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.
Polyspace Code Prover verwendet semantische Analysen und abstrakte Interpretation auf der Basis von formalen Methoden zur Verifikation des Daten- und Kontrollflussverhaltens.
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.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
