Es una actividad de garantía de calidad que consiste en revisar formalmente una parte específica del software total, con el fin de:
La revisión técnica formal es de vital importancia para el aseguramiento de la calidad ya que es el filtro más efectivo porque ayuda al descubrimiento de errores al principio para que no se propaguen al paso siguiente del proceso de software y reduce substancialmente el coste de los pasos siguientes en las fases de desarrollo y mantenimiento.
Un buen ejemplo de revisión técnica formal son los Sprint Review de la metodología SCRUM, donde al final de cada Sprint se verifica el producto que genero el Sprint para encontrar errores o defectos en el mismo con el fin de evitar que pasen con esos defectos a la siguiente iteración.