Verificar lo que devuelve
- 01Un verde no prueba nada hasta que no ha sido probado el mismo7 min
Un control que nunca ha sido puesto en jaque por un caso que debe encontrar no ha probado nada: probar exige que un comando concreto se haya ejecutado y que su salida haya sido leída, y un detector roto da cero problemas, lo que se lee exactamente como un éxito.
- 02Prueba el verificador antes de creer su veredicto7 min
Un control que da una cifra plausible no siempre da una correcta, y la diferencia casi nunca se anuncia. Prueba el script antes de creer su veredicto: dale una entrada fabricada que debe señalar y una entrada limpia que no debe señalar, que cubran las particularidades reales de tu terreno.
- 03El remedio contra la invención también puede inventar7 min
Un dispositivo de verificación es un entregable como cualquier otro, producido por el mismo tipo de mecanismo que lo que controla. Repetir el mismo control no lo hace independiente, porque un bug determinista se repite idéntico: solo un método realmente distinto, que pueda fallar de otra manera, vale como prueba.
- 04Dónde miras determina lo que encuentras4 min
Una verificación centrada en el último cambio dice dónde se ha mirado, nunca dónde están realmente los defectos: sin haber examinado el resto con el mismo cuidado, ninguna conclusión sobre la peligrosidad comparada del código reciente y del código antiguo se sostiene.
- 05Una verificación muy rigurosa puede aun así no ver nada4 min
Una revisión, por disciplinada que sea, solo juzga lo que ya existe: una pantalla nunca construida o una función nunca escrita no aparecen en ningún sitio de su alcance. Lo que cubre ese vacío es una pregunta distinta, planteada fuera del código releído, como un recorrido de usuario completo confiado a un uso real.
- 06Probado, o simplemente aún no refutado5 min
Probado significa que has ejecutado un comando concreto y que puedes citar su salida. Aún no refutado significa solo que nada ha detectado un problema hasta ahora, una afirmación mucho más débil. Una vista previa en verde o la ausencia de error en consola no prueban que no exista ningún defecto.
- 07Un control de forma nunca ve un valor falso8 min
Un control automatizado verifica casi siempre la forma y muy raramente la verdad: un archivo válido, una codificación correcta o una palabra clave presente pueden convivir con una cifra falsa. Validar una captura de la página que genera el documento tampoco prueba lo que la persona abre realmente.
- 08Reabrir cada fuente antes de creerla8 min
Un agente de búsqueda reporta lo que un índice muestra, no lo que una página en directo contiene hoy, y presenta un enlace muerto con la misma seguridad que un enlace vivo: toda fuente destinada a sostener una conclusión se reabre antes de ser citada.
- 09Contar toda la población, y nombrar la medida por lo que realmente capta7 min
Medir sobre los pocos casos advertidos por azar en lugar de sobre toda la población produce una conclusión llena de seguridad y sin embargo falsa, y esa misma conclusión sigue siendo falsa si el nombre que se le da al resultado dice algo distinto de lo que el instrumento realmente captó.
- 10Tres agentes de acuerdo, una sola fuente8 min
Los agentes que devuelven la misma conclusión citando la misma página no confirman nada: el equipo tiene una sola fuente, citada varias veces. Un acuerdo vale lo que valen las fuentes distintas que lo sostienen, y una dirección diferente, o una copia bajo otro dominio, no es todavía una fuente independiente.
- 11Lo que un control exime desaparece de su salida8 min
Lo que un control exime desaparece de su salida: el perímetro se decide una vez y luego nadie lo relee. Un veredicto conforme recae sobre la carpeta menos la parte eximida, que puede crecer sin ruido. Dale a esa parte su propio umbral, que pese sobre el veredicto; mostrar su peso no basta.