Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
static analysis of the source code
Examples with "static analysis of the source code" and their translation in Frans
This thesis aims to support avionics software reengineering by using a feature location methodology based on static analysis of the source code.
Les travaux présentés dans ce mémoire visent donc à appuyer les efforts de réingénierie en avionique via l'utilisation d'une méthodologie de localisation de fonctionnalités à partir de l'analyse statique du code source.
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.
Andere resultaten
Static security analysis of source code is the initial line of defense used during the product development cycle.
L'analyse de sécurité statique du code source constitue la première ligne de défense utilisée pendant le cycle de développement produit.
To evaluate the computation time, the proposed approach is based on a static or semi-static analysis of the source code, by cutting it into blocks, before making a micro-benchmarking of these blocks on the targeted architecture.
Pour évaluer les temps de calcul, la démarche proposée s'appuie sur une analyse statique ou semistatique du code source afin de le découper en blocs, avant d'effectuer un micro-benchmarking de ces blocs sur l'architecture cible.
Based on advanced source code static analysis, artificial intelligence and functional modelling, the Yag-Suite integrates many innovations and enhance the relevance and efficiency of code analysis and reviews.
Convergence des techniques d'analyse statique avancée, d'intelligence artificielle et de modélisation fonctionnelle, la Yag-Suite intègre de nombreuses innovations et permet d'améliorer l'efficacité et la pertinence des analyses de code.
The method and apparatus for testing browser compatibility conduct static analysis of the webpage source code to test browser compatibility, which is simple and inexpensive.
Le procédé et l'appareil permettant de tester la compatibilité d'un navigateur effectuent une analyse statique du code source de la page Web pour tester la compatibilité du navigateur, ce qui est à la fois simple et peu onéreux.
Behavior analysis, including static and dynamic analysis of the source code, is used to generate one or more code recommendations to reduce the TCO.
L'analyse du comportement, y compris l'analyse statique et dynamique du code source, sert à générer une ou plusieurs recommandations de code visant à réduire le TCO.
CI/CD Static code analysis Static code analysis is the art of analyzing source files to detect problems before they even appear.
Analyse statique L'analyse statique consiste à analyser le code source d'un logiciel pour détecter des défaillances avant qu'elles ne se produisent, sur le même principe que les linters.
The post execution analysis system is arranged to process data on a run-time error produced by execution of said instrumented computer program code, the generated markers and the static analysis data to identify the source of the run-time error.
Le système d'analyse après exécution traite: les données d'erreurs d'exécution produites lors de l'exécution dudit code instrumenté, les marqueurs créés, et les données de l'analyse statique, pour identifier la source de l'erreur d'exécution.
CBAC and WCA are based on static analysis of the component Bytecode to enable automated verification of components even when the source code is not
CBAC et WCA utilisent l'analyse statique du Bytecode pour automatiser la validation des composants lors de leur installation Consulter en bibliothèque Accéder en ligne
In particular the invention concerns, but is not limited to, static analysis on source code of an embedded system that has source code that is written in a low-level language embedded within a high level language.
L'invention concerne en particulier, mais pas exclusivement, l'analyse statique d'un code source d'un système intégré ayant un code source écrit en un langage de bas niveau intégré dans un langage de haut niveau (langage évolué).
There is software that offers a static or dynamic analysis of a project but it is often very specific or too complex for a user who wishes to simply take over the source code of a project.
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 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++.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 2039222. Exact: 2. Verstreken tijd: 471 ms.
