Análisis de software

De Wikipedia, la enciclopedia libre
Esta es la versión actual de esta página, editada a las 21:20 17 sep 2020 por 2806:2f0:9060:5025:6df1:ac0c:46a8:8971 (discusión). La dirección URL es un enlace permanente a esta versión.
(difs.) ← Revisión anterior · Ver revisión actual (difs.) · Revisión siguiente → (difs.)

En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad.

Algunas de las técnicas usadas para llevar a cabo estos análisis son:

Otros campos similares son el profiling y la verificación formal de software.

Véase también[editar]

Enlaces externos[editar]