Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
et Polyspace Code Prover
Examples with "et Polyspace Code Prover" and their translation in Engels
La robustesse du logiciel a également été vérifiée avec Polyspace Bug Finder et Polyspace Code Prover lors des phases d'intégration et de développement.
Polyspace Bug Finder and Polyspace Code Prover for formal verification of hand-written and generated code
Andere resultaten
Objectif: Revoir les acquis de la formation et utiliser Polyspace Code Prover directement sur un de vos projets.
Objetivo: Spend time reviewing what you have learned and applying Polyspace Code Prover directly to your own project.
Affichage des résultats d'erreurs d'exécution par Polyspace Code Prover.
Run-time error results displayed by Polyspace Code Prover.
Polyspace Code Prover peut être intégré à des systèmes de déploiement pour une vérification automatisée.
Polyspace Code Prover can be integrated into build systems for automated verification.
Objectif: Trouver les erreurs d'exécution à l'aide des diagnostics disponibles dans Polyspace Code Prover.
Objetivo: Find run-time errors using diagnostics available in Polyspace Code Prover.
Polyspace Code Prover utilise un code de couleur pour indiquer l'état de chaque élément du code.
Polyspace Code Prover uses color-coding to indicate the status of each element in the 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.
Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior.
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.
You use Polyspace Code Prover as part of a high quality assurance process to exhaustively verify all possible combinations of inputs, paths, and variable values.
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 identifies where run-time errors may occur and code that is proven to be safe from run-time errors.
Cette formation explique comment utiliser Polyspace Code Prover pour prouver l'exactitude du code, améliorer les métriques de qualité du logiciel et garantir l'intégrité du produit.
This course discusses the use of Polyspace Code Prover to prove code correctness, improve software quality metrics, and ensure product integrity.
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.
You can access Polyspace Code Prover from the command line, graphical user interface, or via plugins to Visual Studio and Eclipse.
Vous pouvez utiliser Polyspace Code Prover dans le cadre d'un processus d'intégration continue en l'incorporant à votre processus de déploiement.
You can use Polyspace Code Prover as part of a continuous integration process by incorporating Polyspace into your build process.
Polyspace Code Prover vérifie le code de logiciel embarqué C et C++ devant fonctionner aux niveaux de qualité et de sécurité les plus élevés.
Polyspace Code Prover performs code verification of C and C++ embedded software that must operate at the highest levels of quality, safety, and security.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Resultaten: 28. Exact: 1. Verstreken tijd: 68 ms.
