Vertaling van "Polyspace" in Engels
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.
Code non-prouvé (représenté en orange dans Polyspace)
Managing unproven code (color-coded in orange by Polyspace products)
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.
Polyspace static code analysis products use formal methods to prove the absence of critical run-time errors under all possible control flows and data flows.
La version R2019a intègre également des avancées notables en matière d'analyse statique dans la famille de produits Polyspace.
R2019a also makes notable advances in the company's Polyspace static analysis product family.
Les outils Polyspace pour l'analyse statique de code vérifient que le code ne comporte pas d'erreurs run-time, assurent la conformité avec les normes de codage MISRA et créent des designs aux autorités de réglementations afin de prouver que ses appareils sont sûrs.
Polyspace static analysis tools check the code for run-time errors, ensure compliance with MISRA coding standards, and create artifacts for DO-178 certification credit.
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 also displays range information for variables and function return values, and can prove conditions under which variables exceed specified range limits.
Polyspace Code Prover est un outil d'analyse statique permettant de prouver l'absence d'overflow, de division par zéro, de débordement de tableaux et autres erreurs run-time dans du code source C et C++.
Polyspace Code Prover is a sound static analysis tool that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and other run-time errors in C and C++ source 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, le contrôle et les 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.
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.
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.
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é.
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 utilisant l'analyse statique, incluant l'analyse sémantique, Polyspace Bug Finder analyse le comportement interprocédural, le contrôle et les flux de données du logiciel.
Using static analysis, including semantic analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural 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.
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.
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.
