Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
using static analysis
Vertaling van "using static analysis" in Frans
par analyse statique
en utilisant une analyse statique
En utilisant l'analyse statique
Results from the analysis of the flight management system show that locating features using static analysis of the source code is possible under certain conditions.
Les résultats obtenus suite à l'analyse du système de gestion de vol montrent que la localisation de fonctionnalités par analyse statique du code source est possible sous certaines conditions.
Résumé This work studies two approaches to improve the safety of computer programs using static analysis.
Cette thèse étudie deux approches pour augmenter la sûreté de fonctionnement des programmes informatiques par analyse statique.
system and method for test generation with dynamic constraints using static analysis
système et procédé de production d'essais à contraintes dynamiques utilisant une analyse statique
These relations (or invariants) are searched automatically using static analysis techniques.
Ces relations (ou invariants) sont recherchés automatiquement en utilisant des techniques d'analyse statique.
Check compliance of models and code using static analysis and formal methods
Vérifier la conformité des modèles et du code en utilisant une analyse statique et des méthodes formelles
Systems and methods for detecting (404) resource leaks in a program using static analysis are disclosed.
L'invention concerne des systèmes et des procédés pour détecter (404) des fuites de ressources dans un programme au moyen d'une analyse statique.
In the second part (clinical applications), I analyzed brain networks alterations in patients with disorders of consciousness, using static analysis in the first study and dynamic analysis in the second one.
Dans la deuxième partie (applications cliniques), j'ai analysé les altérations dans les réseaux cérébraux chez les patients souffrant d'un désordre de la conscience, en utilisant une analyse statique pour la première étude et une analyse dynamique pour la deuxième étude.
This MAY be implemented using static analysis tool(s) and/or by forcing the code through code reformatters.
Cela PEUT être mis en œuvre en utilisant des outils d'analyse statique et/ou en faisant passer le code à travers des outils de remise en forme.
Abstract: This work studies two approaches to improve the safety of computer programs using static analysis.
Résumé : Cette thèse étudie deux approches fondées sur l'analyse statique pour augmenter la sûreté de fonctionnement et la correction des programmes informatiques.
Using static analysis with formal methods, you can prove the absence of run-time errors under all possible control flows and data flows.
En utilisant l'analyse statique avec des méthodes formelles, vous pouvez prouver l'absence d'erreurs d'exécution pour tous les flux de contrôle et de données possibles.
Using static analysis, "this framework generates a big graph which is actually a map of all possible execution paths within the application."
En utilisant l'analyse statique, cet autre outil "génère un grand graphe qui représente en fait une cartographie de tous les chemins d'exécution possibles dans l'application."
Using static analysis, including semantic analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior.
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.
Synoniemen voor using static analysis in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 12. Exact: 12. Verstreken tijd: 39 ms.
