Download for Windows Premium
-50% Premium
Publiciteit
analyse statique du code source

Examples with "analyse statique du code source" 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.
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.
This thesis aims to support avionics software reengineering by using a feature location methodology based on static analysis of the source code.
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.
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.
L'équipe a procédé à une mesure de la consommation, une analyse statique du code source ainsi qu'une analyse du cycle de vie des batteries.
The team conducted a consumption measurement, a code static analysis and a life cycle assessment of batteries.
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.
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.

Andere resultaten

Le projet HARMONICS a également travaillé sur l'analyse du code source statique et la vérification formelle.
The HARMONICS project also investigated static source code analysis and formal verification.
Ces vérifications sont des contrôles d'analyse statique qui peuvent être effectués au niveau du code source.
These checks are static analysis checks that can be performed at a source code level.
Premièrement, il analyse statiquement le code source pour rechercher les mauvais patterns spécifiés par les règles du linter.
Firstly, it statically analyses the source code to find bad patterns specified by the linter rules.
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.
Static security analysis of source code is the initial line of defense used during the product development cycle.
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.
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.
Basée sur le code MatLab, l'analyse statique offre les conditions initiales des variables d'état des sources connectées pour l'analyse du flux de puissance à l'aide de tous les types de sources possibles.
Based on MatLab code the steady state analysis offers initial conditions of the state variables of the connected sources for load flow analysis using all possible types of sources.
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.
Behavior analysis, including static and dynamic analysis of the source code, is used to generate one or more code recommendations to reduce the TCO.
Nous discutons également du problème d'alias des pointeurs dans les codes GPU et proposons deux outils d'analyse statiques qui permettent d'insérer automatiquement les qualificateurs de type et le remplacement par scalaire dans le code source.
We also discuss pointers aliasing problem in GPU codes and propose two static analysis tools that perform automatically at source level type qualifier insertion and scalar promotion to solve aliasing issues.
L'analyse statique est produite en actualisant automatiquement le code source du projet par Jenkins à partir de PDS, Endevor ou ISPW.
Static analysis is achieved by automatically refreshing project source via Jenkins from PDS, Endevor and ISPW
Er zijn geen resultaten gevonden voor deze term.
Publiciteit

Resultaten: 2609200. Exact: 4. Verstreken tijd: 521 ms.