Análisis de software

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En Ciencias de la computación, análisis de software es el proceso automatizado de analizar 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]