Habla sobre las pruebas estáticas.

Las pruebas estáticas son un método de prueba de software que se realiza sin ejecutar el código de la aplicación. Su objetivo es detectar defectos en las primeras etapas del ciclo de vida del desarrollo, como requisitos, diseño y código fuente.

Técnicas principales:

• Análisis de código (Code analysis):
  • Análisis estático (Static analysis): Verificación del código mediante herramientas automatizadas para cumplir con los estándares de codificación, vulnerabilidades potenciales, excepciones no manejadas y otros problemas.
  • Inspecciones (Inspections), Revisiones (Walkthroughs), Revisiones (Reviews): Procesos formales de análisis de documentación y código por parte del equipo, destinados a detectar errores.
• Análisis de documentación: Prueba de artefactos de desarrollo, como requisitos, especificaciones de diseño, documentación del usuario, para verificar su integridad, coherencia y ambigüedad.

Ventajas:

• La detección temprana de defectos reduce el costo de su corrección.
• Mejora la calidad del código y la documentación.
• Reducción del tiempo y recursos necesarios para las pruebas dinámicas.
• Transferencia de conocimientos y capacitación de nuevos miembros del equipo a través de procesos de revisión.

Desventajas:

• No puede detectar defectos relacionados con el comportamiento del sistema durante la ejecución (por ejemplo, problemas de rendimiento, errores de interacción de componentes).
• Puede ser laborioso, especialmente para procesos formales de revisión.
• Los resultados del análisis estático pueden contener falsos positivos.

Ejemplos de herramientas para análisis estático de código:

• Java: SonarQube, PMD, Checkstyle
• Python: Pylint, flake8, Bandit
• JavaScript: ESLint, JSHint
• C#: StyleCop, FxCop

La prueba estática es una parte importante de una estrategia de prueba integral y complementa las pruebas dinámicas, permitiendo detectar una parte significativa de defectos antes de la etapa de ejecución del código.