En Inglés: «static analysis».

Análisis estático es el análisis de los artefactos software, por ejemplo requisitos o código, llevado a cabo sin la ejecución de estos artefactos software.