Examples with "Polyspace-Code" and their translation 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.
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.
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++.
Andere resultaten
Polyspace Code Prover kann in Build-Systeme zur automatischen Verifikation integriert werden.
Polyspace Code Prover peut être intégré à des systèmes de déploiement pour une vérification automatisée.
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.
Sie können Polyspace Code Prover im Rahmen eines kontinuierlichen Integrationsprozesses nutzen, indem Sie Polyspace in Ihren Build-Prozess integrieren.
Vous pouvez utiliser Polyspace Code Prover dans le cadre d'un processus d'intégration continue en l'incorporant à votre processus de déploiement.
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.
Polyspace Code Prover greift auf eine Farbcodierung zurück, um den Status der einzelnen Code-Elemente anzugeben.
Polyspace Code Prover utilise un code de couleur pour indiquer l'état de chaque élément du code.
Lesen Sie Artikel über die technischen Vorteile beim Einsatz der Polyspace Code Prover. Anwenderberichte
Consultez les notes expliquant les avantages techniques de l'utilisation de la solution Polyspace Code Prover.
Polyspace Code Prover unterstützt außerdem die Rückverfolgbarkeit von Laufzeitergebnissen zu dSPACE TargetLink-Blöcken und IBM Rational Rhapsody-Modellen.
Polyspace Code Prover assure également la traçabilité des résultats d'exécution vers les blocs dSPACE TargetLink et les modèles IBM Rational Rhapsody.
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.
Sie können über die Befehlszeile, über eine grafische Benutzeroberfläche oder über Plug-ins für Visual Studio und Eclipse auf Polyspace Code Prover zugreifen.
Vous pouvez accéder à Polyspace Code Prover à l'aide d'un appel de ligne de commande, via l'interface utilisateur graphique ou via des modules complémentaires de Visual Studio et Eclipse.
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.
Sie können Polyspace Code Prover einsetzen, um alle kritischen Aktivitäten in einem Softwareentwicklungsworkflow zu unterstützen, wie beispielsweise
Il vous permet de prendre en charge toutes les activités critiques inhérentes au flux de développement logiciel, dont les suivantes
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.
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.
