Ir al contenido

Heisenbug

De Wikipedia, la enciclopedia libre

En jerga de programación, un heisenbug es un tipo de bug que parece desaparecer o comportarse de otro modo al intentar ser observado en detalle.[1]​ El término es un juego de palabras a partir del nombre de Werner Heisenberg, el físico que dedujo el efecto de observación de la mecánica cuántica, según el cual el mero hecho de observar un sistema de una manera determinada altera el estado de este.

Términos similares como bohrbug[2]​, mandelbug[3][4][5]​ y schrödinbug[6][7]​ han sido propuestos ocasionalmente para otro tipo de bugs inusuales;[8][9]​ de todos modos, no son tan conocidos ni empleados como el "heisenbug".[10][2]

Mandelbugs

[editar]

Un Mandelbug (del apellido de Benoît Mandelbrot, matemático famoso por su estudio de fractales) es un bug tan complejo que no se puede encontrar una manera de eliminarlo, o cuyo efecto parece caótico y parece no determinista.

Los Mandelbugs son fallas que son provocadas por condiciones complejas, como la interacción con el hardware y otro software, y el tiempo o el orden de los eventos. Estas fallas son considerablemente difíciles de detectar con las pruebas tradicionales.

Entonces, el modo de operar de los Mandelbugs consiste en cimentar su existencia en causas tan complejas que sea difícil comprenderlas y atacarlas. Con cada solución que se intente, sólo se conseguirá un comportamiento distinto pero no se logrará eliminar. Además, este tipo de bug es capaz de formarse a sí mismo a partir de una combinación de pequeños detalles en muchas porciones de código aparentemente inconexas. Por lo tanto, para solucionarlos se puede aplicar ingeniería inversa.[11]

Varios tipos de errores difíciles y complicados podrían llamarse mandelbugs. La idea común es que estos errores son resistentes a las correcciones, debido a sus propiedades caóticas o "no deterministas". Por ejemplo, una característica común de un mandelbug sería la dificultad que tendrían los equipos de prueba para replicarlo consistentemente. Errores como estos a menudo están ocultos en las esquinas del código, en cualquier ambigüedad sobre el tiempo, el uso de variables u otros aspectos del código fuente subyacente para el producto.

Mandelbug es el antónimo complementario de Bohrbug.

Bohrbugs

[editar]

Resulta casi intuitivo saber que los Bohrbugs son errores de software, o simplemente fallos en un programa de computador o sistema de software que desencadena un resultado indeseado (bug) que se asemejan al modelo de átomos de Bohr, de ahí el nombre.

Los llaman 'bohrbugs': errores software tan raros que son casi imposible de ser aislados y replicados.

La denominación incluye como parte inicial del nombre al átomo de Bohr porque representa un error sólido y fácilmente detectable. Por este motivo es quizás el error más aburrido de investigar. Es fácil de encontrar y la mayoría de las veces fácil de corregir.

Un Bohrbug es un error, defecto o falla que aparece bajo condiciones consistentes y cuantificables, por lo tanto, representa un error sólido y fácilmente detectable. Además de que no cambia su comportamiento. La contraparte de un Bohrbug es un error de Heisenbug, uno que no se puede replicar fácilmente en condiciones definidas comúnmente. Como se ha dicho, es considerado como un bug fácil y sencillo de resolver, basta con ejecutar las condiciones identificables y verificar si hay errores.[12]

Ejemplos

[editar]

Los Heisenbugs se producen porque los frecuentes intentos de depuración de un programa informático, como la inserción de declaraciones de entrada y salida o la ejecución (cálculo) con un depurador, suelen tener el efecto secundario de cambiar sutilmente el comportamiento del programa, como el cambio de la dirección de memoria de las variables y el tiempo de ejecución.

Un ejemplo común de heisenbug es un error que se produce cuando el programa se compila con un compilador de optimización, pero no cuando el mismo programa se compila sin optimización (como suele hacerse con el fin de examinarlo con un depurador). Durante la depuración, los valores que un programa optimizado normalmente guardaría en los registros se desplazan a menudo a la memoria principal. Esto puede afectar al resultado de las comparaciones en coma flotante, por ejemplo, porque el valor en memoria puede tener un rango menor y una precisión menor que el valor en el registro. De manera similar, los heisenbugs pueden ser causados por efectos secundarios en las expresiones de prueba que se utilizan en tiempo de ejecución para evaluar aserciones en lenguajes como C y C++, donde la expresión de prueba no se evalúa si las aserciones se desactivan en el código de producción utilizando la macro NDEBUG.

Referencias

[editar]
  1. «The Jargon File: heisenbug». 
  2. a b Some amazing software bug types related to scientists theories. (s. f.). cubettech. https://cubettech.com/resources/blog/some-amazing-software-bug-types-related-to-scientists-theories
  3. «The Jargon File: Mandelbug». Catb.org. Consultado el 5 de septiembre de 2013. 
  4. Raymond, Eric S.; The New Hacker's Dictionary, 3rd edition, 1996
  5. Clarke, Arthur C., The Ghost from the Grand Banks, Bantam Books, 1990
  6. «The Jargon File: Schroedinbug». Catb.org. Consultado el 5 de septiembre de 2013. 
  7. Raymond, Eric S.; The New Hacker's Dictionary, 3rd edition, 1996
  8. The following article investigates the various definitions of bohrbug, mandelbug and heisenbug proposed in the literature, as well as the statements made about the relationships between these fault types: Grottke, Michael; and Trivedi, Kishor S.; Software Faults, Software Aging and Software Rejuvenation, Journal of the Reliability Engineering Association of Japan, Vol. 27, No. 7, pp. 425-438, 2005.
  9. Grottke, Michael; and Trivedi, Kishor S.; Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate, IEEE Computer vol. 40, no. 2 (February 2007), pp. 107-109
  10. A February 2012 Google Books search returns about 70 hits for "schroedinbug", 100 for "mandelbug", 400 for "bohrbug" or "heisenbug".
  11. MetroSetenta. (s.f.). Cuentos de bichos: Bestiario. https://metrosetenta.com/blog/cuentos-de-bichos-bestiario/
  12. Anónimo. «Heisenbugs, Bohrbug, Mandelbugs, Schroedinbugs». Mundogeek. Consultado el 25 de abril de 2022. 

Enlaces externos

[editar]
  • The Heisenberg Debugging Technology
  • Carrozza, G., Cotroneo, D., Natella, R., Pietrantuono R. & Russo S. Analysis and Prediction of Mandelbugs in an Industrial Software System. Dipartamento di Informatica e Sistemistica, Universitá degli Studi di Napoli Federico II. Italy. Recuperado de: https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.710.6442&rep=rep1&type=pdf