¿Quién fue el primero en licenciar software sin garantía? ¿Y por qué se salieron con la suya?

Para comprender las prácticas modernas de garantía de software, debe volver a una época anterior en la que los dinosaurios gobernaban el mundo de las computadoras: el mainframe.

En aquel entonces el costo de la informática era muy alto. Como en cientos de dólares por hora. La utilización de la máquina lo era todo y las máquinas no eran tan confiables como lo son hoy. Muchos lugares no podían permitirse comprar sus propias computadoras y las alquilaron en su lugar. En cualquier caso, el objetivo era maximizar el uso de la máquina a expensas de todo lo demás.

Por lo tanto, quienes usaban computadoras tenían acuerdos con los proveedores para proporcionar servicio y asistencia en el sitio. Los acuerdos de apoyo modernos tienen sus raíces aquí. Si la máquina se rompió o el código no funcionó correctamente, el fabricante podría brindar asistencia. Y a menudo lo hizo. Pero estaba dentro de los límites de un acuerdo de servicio, no una garantía.

El software nunca ha sido licenciado con una garantía. Siempre. Por el simple hecho de que al principio se reconoció las implicaciones de responsabilidad de los mismos dada la naturaleza imperfecta del software en sí. Las garantías existen en el mundo como un medio para promover o defender la confiabilidad de un artículo físico. E incluso entonces, las garantías se limitan a defectos físicos o de fabricación, no al desgaste o rotura de rutina debido al uso incorrecto.

¿Cómo se proporciona una garantía para un artículo que no obedece las leyes físicas? ¿Qué comportamiento no puede predecirse con precisión debido a la explosión combinatoria de posibles interacciones, número de entradas y tiempo? Simplemente no lo haces.

Si bien el software es matemáticamente demostrable, hacerlo a un nivel de confianza en el que uno dirá “Este software funcionará de manera confiable y predecible en todos los escenarios esperados” es extraordinariamente difícil. Hasta el punto de que solo unos pocos sistemas de software se prueban y certifican con ese nivel de vigor. Con costos de asistencia masivos en tiempo de prueba y documentación. Un ejemplo notable es el software donde están en juego vidas humanas como la aviación y los vuelos espaciales. E incluso entonces, solo ciertos sistemas se prueban con ese estándar y se realizan otros mecanismos de mayor confiabilidad.

Nada impide que alguien ofrezca software con garantía. Pero prácticamente nadie lo hace porque hacerlo se abriría a una responsabilidad masiva en caso de que el software no funcione de manera inesperada. Y lo hará. Debido a que alguien que usa software puede combinarlo con otras cosas de maneras que el diseñador de software no puede anticipar, es prácticamente imposible garantizar que un código funcione correctamente si el usuario puede cambiar los términos de esa funcionalidad fuera de su control.

El hardware y los bienes físicos son diferentes. Las personas simplemente no pueden modificar sus comportamientos sin alterar ese buen comportamiento, demostrando que lo hicieron e invalidando así una garantía. No existe tal restricción en el software. Es completamente posible cambiar el software, incluso mientras se está ejecutando, y nadie sería más sabio que lo hiciste. Cuando el software puede modificar su propio comportamiento, es completamente imposible proporcionar una garantía práctica que finalmente no destruya a quienes lo proporcionan.

Nadie se escapa con nada. Es simplemente la realidad y la naturaleza del software en sí. Las garantías y el software son incompatibles con nuestra comprensión y capacidad actuales para validar y “saber” qué está haciendo el código. Hasta que el desarrollo de software logre el mismo nivel de rigor, análisis de fallas, comprobabilidad y previsibilidad de las entidades físicas, nunca podrá llevar una garantía fuera de los escenarios de aplicación más simples e inútiles.