Examples with "solution Polyspace Code Prover" and their translation 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.
Articles techniques Consultez les notes expliquant les avantages techniques de l'utilisation de la solution Polyspace Code Prover.
Technical Articles View articles that demonstrate technical advantages of using Polyspace Code Prover.
Andere resultaten
Vous pouvez commencer à utiliser Polyspace Code Prover de nombreuses façons.
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, 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.
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.
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.
