El capítulo 3 se centra en las técnicas estáticas, abordando su importancia en el proceso de pruebas y revisión, diferenciando entre pruebas estáticas y dinámicas. Se destacan las herramientas y procesos de análisis estático, así como los beneficios de las revisiones formales, que incluyen la detección de defectos y la mejora de la calidad del software. Se concluye que las revisiones y análisis estáticos son fundamentales, aunque deben complementarse con pruebas dinámicas para maximizar la eficacia en proyectos complejos.