Prueba de cordura

Una comprobación de cordura o prueba de cordura es una prueba básica para evaluar rápidamente si una afirmación o el resultado de un cálculo pueden ser ciertos. Es una simple verificación para ver si el material producido es racional (que el creador del material estaba pensando racionalmente, aplicando la cordura). El objetivo de una prueba de cordura es descartar ciertas clases de resultados obviamente falsos, no detectar todos los errores posibles. Se puede verificar una regla empírica o un cálculo general para realizar la prueba. La ventaja de realizar una prueba de cordura inicial es la de evaluar rápidamente la función básica.

En aritmética, por ejemplo, al multiplicar por 9, usar la regla de divisibilidad de 9 para verificar que la suma de los dígitos del resultado es divisible por 9 es una prueba de cordura: no detectará todas error de multiplicación, sin embargo, es un método rápido y simple para descubrir muchos errores posibles.

En informática, una prueba de cordura es una prueba muy breve de la funcionalidad de un programa, sistema, cálculo u otro análisis informático, para garantizar que parte del sistema o metodología funciona más o menos como se esperaba. Esto es a menudo antes de una ronda de pruebas más exhaustiva.

Matemático

Una prueba de cordura puede referirse a varios órdenes de magnitud y otros dispositivos simples de la regla empírica aplicados para cotejar cálculos matemáticos. Por ejemplo:

• Si se tratara de cuadrar 738 y calcular 54.464, un cheque de cordura rápido podría demostrar que este resultado no puede ser cierto. Considere que 700 aún 700² = 7² × 100² = 490.000 ± 54.464. Dado que el balance de números enteros positivos preserva su desigualdad, el resultado no puede ser cierto, y por lo tanto el resultado calculado es incorrecto. La respuesta correcta, 738² = 544,644, es más de 10 veces superior a 54.464.
• En multiplicación, 918 × 155 no es 142,135 ya que 918 es divisible por tres pero 142,135 no es (los dígitos agregan hasta 16, no un múltiplo de tres). Además, el producto debe terminar en el mismo dígito que el producto de los dígitos finales: 8 × 5 = 40, pero 142,135 no termina en "0" como "40", mientras que la respuesta correcta hace: 918 × 155 = 142.290. Un cheque aún más rápido es que el producto de números iguales y extraños es incluso, mientras que 142,135 es extraño.

Física

• La potencia de un coche no puede ser de 700 kJ, ya que la unidad joules es una medida de energía, no energía (energía por unidad de tiempo). Esta es una aplicación básica del análisis dimensional.
• Al determinar las propiedades físicas, comparar con las sustancias conocidas o similares a menudo producirá información sobre si el resultado es razonable. Por ejemplo, la mayoría de los metales se hunden en el agua, por lo que la densidad de la mayoría de los metales debe ser mayor que la del agua (~1000 kg/m³).
• Las estimaciones de Fermi a menudo proporcionarán información sobre el orden de magnitud de un valor esperado.

Desarrollo de software

En el desarrollo de software, una prueba de cordura (una forma de prueba de software que ofrece "pruebas rápidas, amplias y superficiales") evalúa el resultado de un subconjunto de la funcionalidad de la aplicación para determinar si es posible y razonable. para continuar con las pruebas adicionales de toda la aplicación. Las pruebas de cordura a veces se pueden usar indistintamente con las pruebas de humo en la medida en que ambos términos denotan pruebas que determinan si es posible y razonable continuar con las pruebas. Por otro lado, a veces se hace la distinción de que una prueba de humo es una prueba no exhaustiva que determina si las funciones más cruciales de un programa funcionan antes de continuar con más pruebas, mientras que una prueba de cordura se refiere a si una funcionalidad específica, como un error en particular. fix funciona como se esperaba sin probar la funcionalidad más amplia del software. En otras palabras, una prueba de cordura determina si el resultado previsto de un cambio de código funciona correctamente, mientras que una prueba de humo garantiza que no se haya roto nada más importante en el proceso. Las pruebas de cordura y las pruebas de humo evitan perder tiempo y esfuerzo al determinar rápidamente si una aplicación es demasiado defectuosa para merecer una prueba de control de calidad más rigurosa, pero necesita más depuración por parte del desarrollador.

Los grupos de pruebas de cordura a menudo se agrupan para pruebas unitarias automatizadas de funciones, bibliotecas o aplicaciones antes de fusionar el código de desarrollo en una rama de control de versión de prueba o troncal, para la construcción automatizada o para la integración continua y la implementación continua.

Otro uso común de prueba de cordura es para denotar comprobaciones que se realizan dentro del código del programa, generalmente en argumentos de funciones o retornos de las mismas, para ver si las respuestas pueden ser se supone que es correcto. Cuanto más complicada sea la rutina, más importante será comprobar su respuesta. El caso trivial es verificar si el valor de retorno de una función indica éxito o falla y, por lo tanto, detener el procesamiento posterior en caso de falla. Este valor de retorno es en realidad a menudo el resultado de una verificación de cordura. Por ejemplo, si la función intentó abrir, escribir y cerrar un archivo, se puede usar una verificación de cordura para asegurarse de que no falló en ninguna de estas acciones, que es una verificación de cordura que los programadores suelen ignorar.

Este tipo de comprobaciones de cordura se pueden usar durante el desarrollo con fines de depuración y también para ayudar a solucionar errores de tiempo de ejecución del software. Por ejemplo, en una aplicación de administración de cuentas bancarias, una verificación de cordura fallará si un retiro solicita más dinero que el saldo total de la cuenta en lugar de permitir que la cuenta se vuelva negativa (lo que no sería sensato). Otra prueba de cordura podría ser que los depósitos o compras correspondan a patrones establecidos por datos históricos; por ejemplo, las transacciones de compras grandes o los retiros de cajeros automáticos en ubicaciones extranjeras nunca antes visitadas por el titular de la tarjeta pueden marcarse para su confirmación.

También se realizan comprobaciones de integridad tras la instalación de un código de software de producción estable en un nuevo entorno informático para garantizar que se cumplan todas las dependencias, como un sistema operativo compatible y bibliotecas de enlaces. Cuando un entorno informático ha superado todas las comprobaciones de cordura, se conoce como un entorno sano para que el programa de instalación continúe con una expectativa razonable de éxito.

A "¡Hola, mundo!" El programa se usa a menudo como una prueba de cordura para un entorno de desarrollo similar. En lugar de un script complicado que ejecuta un conjunto de pruebas unitarias, si este programa simple falla al compilar o ejecutar, prueba que el entorno de soporte probablemente tenga un problema de configuración que evitará que cualquier código se compile o ejecute. Pero si "Hola mundo" se ejecuta, entonces cualquier problema experimentado con otros programas probablemente se puede atribuir a errores en el código de esa aplicación en lugar de al entorno.