Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Polyspace Code Prover
Vertaling van "Polyspace Code Prover" in Frans
There are many ways to start using Polyspace Code Prover.
Vous pouvez commencer à utiliser Polyspace Code Prover de nombreuses façons.
Run-time error results displayed by Polyspace Code Prover.
Affichage des résultats d'erreurs d'exécution par Polyspace Code Prover.
Purchase Polyspace Code Prover and explore related products.
Achetez Polyspace Code Prover et découvrez les produits complémentaires.
Polyspace Code Prover can be integrated into build systems for automated verification.
Polyspace Code Prover peut être intégré à des systèmes de déploiement pour une vérification automatisée.
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.
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.
This course discusses the use of Polyspace Code Prover to prove code correctness, improve software quality metrics, and ensure product integrity.
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.
By measuring the rate of improvement in code quality, Polyspace Code Prover enables developers, testers, and project managers to target and deliver high quality code.
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é.
In the example below, Polyspace Code Prover has determined that the division operation consists of a range between -1701 to 3276 for the left operand; right operand is 9.
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.
Polyspace Code Prover uses color-coding to indicate the status of each element in the code.
Polyspace Code Prover utilise un code de couleur pour indiquer l'état de chaque élément du code.
Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior.
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 identifies where run-time errors may occur and code that is proven to be safe from run-time errors.
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 performs code verification of C and C++ embedded software that must operate at the highest levels of quality, safety, and security.
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.
You can use Polyspace Code Prover to verify generated code or mixed code which contains both generated and handwritten code.
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.
Synoniemen voor Polyspace Code Prover in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 40. Exact: 40. Verstreken tijd: 98 ms.
