Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of static analysis
Vertaling van "of static analysis" in Spaans
de análisis estático
del análisis estático
Software metrics and reverse engineering can be described as forms of static analysis.
Las métricas del software y la ingeniería inversa pueden ser descritas como forma de análisis estático de software.
This can come in the way of static analysis, signatures, or file and web databases.
Esto puede venir en forma de análisis estático, firmas o bases de datos de archivos y web.
When the program features a deadlock, our combined use of static analysis and testing provides an effective technique to find deadlock traces.
Cuando el programa contiene un bloqueo, el uso combinado del análisis estático y el testing nos proporciona una técnica efectiva para encontrar trazas de deadlock.
A growing commercial use of static analysis is in the verification of properties of software used in safety-critical computer systems and locating potentially vulnerable code.
Un uso comercial creciente del análisis estático es la verificación de las propiedades de software utilizadas en los sistemas informáticos críticos para la seguridad y la localización de código potencialmente vulnerable.
Detecting unreachable code is a form of static analysis and involves performing control flow analysis to find any code that will never be executed regardless of the values of variables and other conditions at run time.
La detección de código inalcanzable es una forma de análisis estático y consiste en realizar un análisis de control de flujo para encontrar el código que nunca se ejecutará independientemente de los valores de las variables y otras condiciones en tiempo de ejecución.
Go beyond basic web filtering by identifying threats through a unique combination of static analysis augmented by machine learning.
URL Filtering identifica las amenazas gracias a una combinación única de análisis estático y aprendizaje automatizado.
URL Filtering identifies threats through a unique combination of static analysis and machine learning.
URL Filtering identifica las amenazas gracias a una combinación única de análisis estático y aprendizaje automatizado.
Nuclear software: In the UK the Health and Safety Executive recommends the use of static analysis on reactor protection systems.
Software nuclear: En el Reino Unido el Ejecutivo de Salud y Seguridad recomendó el uso de análisis estático para los sistemas de protección de reactores.
Nuclear software: In the UK the Office for Nuclear Regulation (ONR) recommends the use of static analysis on reactor protection systems.
Software nuclear: En el Reino Unido el Ejecutivo de Salud y Seguridad recomendó el uso de análisis estático para los sistemas de protección de reactores.
You should check this box at the Properties dialog of Static Analysis on the page "Solving".
Usted debe marcar esta casilla en el cuadro de diálogo propiedades del análisis estático en la página "Solución".
Since then, he has specialized on the application of static analysis to software verification.
Desde entonces, se ha especializado en la aplicación de software de análisis para la verificación.
The main task of static analysis is to determine the equilibrium of the forces applied on a body or a mechanical system.
La principal tarea de la estática es analizar el equilibrio de fuerzas en los cuerpos o en los sistemas mecánicos.
The use of static analysis is not intended to prove or disprove correctness but to obtain information about the particular case at hand.
El análisis estático no pretende garantizar una propiedad o encontrar un error, sino extraer suficiente información para el proceso de síntesis.
Synoniemen voor of static analysis in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 22. Exact: 22. Verstreken tijd: 57 ms.
