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.
d'erreurs d'exécution
d'erreurs à l'exécution
des erreurs à l'exécution
Type safety reduces the likelihood of runtime errors during program execution.
La sécurité des types réduit la probabilité d'erreurs d'exécution au cours de l'exécution d'un programme.
Automatically analyzing programs for exactly checking properties such as the absence of runtime errors is impossible in general, for mathematical reasons.
Une analyse automatique et exacte visant à vérifier des propriétés telles que l'absence d'erreurs d'exécution est impossible en général, pour des raisons mathématiques.
Finally, we will report on the successful application of ASTRÉE to the proof of absence of runtime errors in recent avionic flight control software.
Finalement nous rendrons compte de l'application réussie d'ASTRÉE à la preuve d'absence d'erreurs à l'exécution dans des logiciels récents de commande de vol électrique.
ASTRÉE is currently used to the verification of absence of runtime errors in safety critical synchronous electric flight control avionic software.
Le logiciel ASTRÉE est utilisé pour la vérification d'absence d'erreurs à l'exécution dans les logiciels embarqués de commande de vol électrique.
A quick way to identify the source of runtime errors is to create an exception breakpoint that pauses an app execution right at the problematic line of code.
Pour identifier la source des erreurs à l'exécution, je vous suggère de créer un point d'arrêt d'exception qui vous emmène directement à la ligne qui pose problème.
In this combination, static analysis reports alarms of runtime errors some of which may be false alarms, and test generation is used to confirm or reject these alarms.
Dans cette combinaison, l'analyse statique signale les instructions risquant de provoquer des erreurs à l'exécution, par des alarmes dont certaines peuvent être de fausses alarmes, puis l'analyse dynamique (génération de tests) est utilisée pour confirmer ou rejeter ces alarmes.
In case of runtime errors, the program executes successfully, but it can result in run time errors due mistakes in input or mishandled functions.
En cas d'erreurs d'exécution, le programme exécute avec succès, mais il peut entraîner des erreurs d'exécution des erreurs dues à une mauvaise manipulation d'entrée ou fonctions.
So far, ASTRÉE has proved the absence of runtime errors in the primary control software of the Airbus A340 family.
À ce jour, ASTRÉE a prouvé l'absence d'erreurs d'exécution dans le logiciel de contrôle primaire de la famille Airbus A340.
Runtime Error 372 is one of the various types of runtime errors on Windows PC.
Runtime Error 372 est l'un des différents types d'erreurs d'exécution sur un PC Windows.
We present in this thesis a new original combination of these methods to make the research of runtime errors more accurate, automatic and reduce the number of false alarms.
L'objectif de cette thèse est de rendre la recherche d'erreurs automatique, plus précise, et plus efficace en temps.
Prevention of runtime errors: ASCET automatically adds defensive programing checks to prevent common numerical errors like division by zero, underflow, overflow etc.
Prévention des erreurs d'exécution : ASCET ajoute automatiquement des vérifications préventives de programme pour éviter des erreurs numériques classiques comme la division par zéro, les dépassements, surcharges, etc.
Similarly, Django executes special-case behavior in the case of runtime errors in view code.
De la même façon, Django passe par un comportement d'exception en cas d'erreur d'exécution dans le code d'une vue.
My current work is to apply formal verification to the Contiki microkernel (an lightweight OS for IoT) and its libraries, mostly to show the absence of runtime errors.
Mes travaux actuels consistent à appliquer la vérification formelle au micronoyau Contiki (un OS léger pour l'IoT) et à ses bibliothèques, principalement pour montrer l'absence d'erreur à l'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.