¿Qué es la verificación de escritorio (desk checking)?
La verificación de escritorio (desk checking) es una prueba manual informal que los programadores usan para verificar la lógica del código y algoritmos antes del lanzamiento. Permite detectar errores que impedirían el correcto funcionamiento. Las herramientas modernas de depuración la hacen menos esencial que antes, pero sigue siendo útil para detectar errores lógicos.
Visión general
Es similar a la corrección de pruebas; el programador recorre líneas de código para identificar errores y comprobar lógica. Normalmente imprime el código y lo revisa en papel con lápiz. Puede probar algoritmos manualmente, verificando que funcionan correctamente y no tienen errores de codificación. Suele implicar crear una tabla con columnas: números de línea, variables, condiciones, entradas y salidas, según las comprobaciones.
Ventajas
Incluso programadores experimentados cometen errores; una verificación de escritorio puede ayudar a detectarlos y corregirlos antes de una ejecución formal. Es rápida e económica. El autor del código suele revisarlo; si encuentra problemas, los corrige in situ antes de la siguiente fase. Si no lo hace y un error causa problemas después, puede retrasar el proyecto. Los errores también son más difíciles de identificar en fases posteriores.
Desventajas
No garantiza encontrar errores. Está sujeta a error humano. El programador puede pasar por alto fallos por estar demasiado cerca de su propio código. Que otro programador lo revise puede solucionarlo. Pero el revisor debe entender los requisitos detrás del código para evaluar si funcionará.
Verificación de escritorio y revisión estructurada
A veces forma parte de un proceso de prueba más amplio. En una revisión estructurada (structured walkthrough), el programador forma parte de un grupo de pares que revisa y analiza el trabajo antes del lanzamiento. Entrega materiales antes de la reunión. Durante la reunión, guía al grupo por el código. Idealmente, el grupo detecta errores o sugiere mejoras. Los proyectos pueden tener varias etapas de revisión: comprensión de requisitos, precisión de codificación, etc.