Análisis estático de código
Examinar el código o su representación sin ejecutar el flujo de negocio para esa comprobación.
¿Qué es el análisis estático de código?
Examina código o una representación derivada sin ejecutar el flujo de negocio como una prueba en ejecución. Según la herramienta puede encontrar flujos sospechosos, errores posibles o incumplimientos. La propia herramienta sí se ejecuta. Los archivos, lenguajes y reglas incluidos determinan el alcance del hallazgo.
En un portal ficticio puede señalar una variable posiblemente usada antes de asignarle valor. El equipo revisa el hallazgo en contexto y registra qué código examinó. Un informe sin avisos no prueba recorridos correctos ni seguridad completa. Archivos excluidos y modelos ausentes pueden dejar lagunas. El análisis complementa pruebas de negocio y revisión de código, sin sustituirlas automáticamente.
Fuentes
Términos relacionados
- TipadoCómo trata un lenguaje las clases de valores y las operaciones adecuadas.
- LinterUna herramienta que busca problemas concretos en el código mediante reglas configuradas.
- Prueba unitariaUna comprobación dirigida de una parte pequeña y definida del software, como regla o función.
- Revisión de códigoExamen dirigido de un cambio de código: diseño, comportamiento, claridad y comprobaciones adecuadas.
- Prueba de contratoUna prueba de los mensajes acordados entre consumidor y proveedor en una interfaz de aplicaciones.
- Cobertura de pruebasLa proporción comprobada de un conjunto definido, como sentencias ejecutables o requisitos.
Su proyecto con ASES
Descríbanos su proyecto. Le responderemos con una primera valoración.