Cómo evitar problemas de software

En esta era digital, debe haber escuchado sobre gigantes de las redes sociales como Facebook y Twitter y plataformas de comercio electrónico como Alibaba y Amazon. Estos sitios web en línea dependen de varios paquetes de software para su funcionamiento. Estos programas han cambiado francamente la forma en que trabajamos, pensamos y vivimos.

Además, muchos dispositivos que antes eran únicamente de naturaleza mecánica, ahora están controlados por software. Por ejemplo, los termostatos fueron dispositivos electromecánicos. Sin embargo, ahora dependen en gran medida del software para su funcionamiento.

Sin embargo, los errores de software pueden ser bastante problemáticos, especialmente con nuestra mayor dependencia de ellos para las actividades diarias. De hecho, en realidad ha habido bastantes ocasiones en las que el software no ha cumplido su objetivo previsto, lo que ha dado resultados desagradables.

, hablamos de 4 ocasiones en las que el rendimiento del software ha fallado principalmente y cómo evitar tales problemas de software.

Lea también: 10 razones por las que no debería tener prisa para comprar un iPhone X

1. Interrupción del 911 en varios estados de EE. UU.

El 911 es un servicio crítico, que permite a las personas comunicarse con el personal de emergencias cuando sea necesario. En ocasiones, ponerse en contacto con los despachadores de emergencias a través del 911 puede marcar la diferencia entre la vida y la muerte.

Por lo tanto, fue un gran desastre cuando el 9 de abril de 2014, el enrutamiento de llamadas al 911 falló en siete estados de los EE. UU., Incluidos California, Florida, Minnesota, Carolina del Norte, Pensilvania, Carolina del Sur y Washington.

Esta interrupción fue causada por un error de codificación evitable, que ocurrió en un centro de gestión de llamadas de emergencia en Colorado, propiedad de Intrado.

2. Puesta a tierra de la flota de United Airlines

En julio de 2015, United Airlines se vio obligada a aterrizar toda su flota de aviones debido a una falla de software. Esto afectó a más de 4, 900 vuelos a nivel mundial y dejó a muchos pasajeros varados en los aeropuertos y obviamente frustrados.

Probablemente también hubo un impacto económico ya que la aerolínea habría tenido que compensar a muchos pasajeros por las molestias. Probablemente también hubo varias reuniones de negocios importantes que se mezclaron debido a la conexión a tierra.

3. Mal funcionamiento del pedal del acelerador Toyota Camry

En septiembre de 2007, Jean Bookout viajaba por la carretera interestatal 69 en Oklahoma con la pasajera Barbara Schwarz, cuando tuvo dificultades para controlar su Toyota Camry.

Intentó levantar los pies del acelerador, pero el automóvil continuó acelerando. El pedal del freno no pudo detener el automóvil y se vio obligada a usar su freno de emergencia.

Desafortunadamente, esto envió el auto a toda velocidad hacia un terraplén. Schwarz murió como resultado y Bookout fue hospitalizado por cinco meses debido a lesiones críticas.

Se especuló que el accidente ocurrió debido a varias deficiencias de codificación que llevaron al bloqueo de una tarea en la CPU del Camry. Esta CPU controlaría una cantidad enormemente enorme de funciones, incluyendo encendido, control del acelerador y control de crucero.

El código de Toyota se convirtió en un lío enredado después de varios años de nuevos códigos que se acumulaban en los antiguos. Esto generalmente se conoce como 'código de espagueti'.

El código de espagueti es innecesariamente complejo y hace que sea casi imposible encontrar errores. Además, Toyota también había violado varias reglas de seguridad en su codificación. Cabe señalar que este no fue un caso aislado de aceleración involuntaria en un Toyota.

Sin embargo, el accidente de Bookout sacó a la luz este problema y resaltó los defectos de Toyota en su proceso de software. Incluso se descubrió que había más de 10 millones de formas para que se produjera una aceleración no deseada, según la forma en que se estructuraba el código de Toyota.

Falla del termostato Nest

Nest es una empresa, propiedad de Alphabet, que fabrica termostatos inteligentes. Estos termostatos son bastante ingeniosos y permiten a los usuarios controlar la temperatura en sus hogares desde sus teléfonos inteligentes.

El invierno pasado, los termostatos Nest experimentaron una falla en la forma de una actualización de software defectuosa, lo que provocó que sus baterías se agotaran. Desafortunadamente, este error ocurrió a mediados del invierno, dejando a varios usuarios sin calefacción temporalmente. Esto definitivamente es algo que no quieres que suceda en esta época del año.

Ver siguiente: los selfies no son tan triviales como las redes sociales los han hecho tarde

Un breve análisis de los problemas de software

Enfoques como el diseño basado en modelos y TLA + permiten a los desarrolladores obtener una visión general más amplia de cómo funciona su software.

Brett Victor, un destacado investigador informático, reconoce que existe una desconexión entre los programadores y los problemas que intentan resolver con códigos.

Debido a esta desconexión, se hace difícil para los programadores imaginar lo que están tratando de poner en los códigos. Victor cree que este es uno de los factores que contribuyen a que el software esté plagado de errores.

Sin embargo, hay esperanza. Enfoques como el diseño basado en modelos y TLA + permiten a los desarrolladores obtener una visión general más amplia de cómo funciona su software.

El diseño basado en modelos, como su nombre lo indica, permite el desarrollo de software a través de modelos visuales. TLA +, que es la abreviatura de Temporal Logic of Actions, es un lenguaje diseñado para escribir las especificaciones de un programa de computadora. Lo bueno de TLA + es que permite realizar pruebas exhaustivas y verificar el software antes de que se publique.

Tanto el diseño basado en modelos como TLA + ya han demostrado su sal. Esterel Technologies, una empresa de desarrollo de software, utiliza un diseño basado en modelos para construir software crítico para la seguridad, mientras que TLA + ha sido utilizado por Microsoft para corregir un posible error catastrófico de Xbox, y por la Agencia Espacial Europea para reescribir códigos para una sonda que aterrizó en un cometa.

Los programadores tienen en alta estima el proceso de escribir código. Muchos de ellos simplemente están intrigados por el proceso de escribir códigos. Por lo tanto, es un desafío lograr que algunos programadores acepten enfoques como el diseño basado en modelos y TLA +. Estos enfoques a menudo se perciben como estrictamente académicos sin viabilidad en el mundo real. Sin embargo, un cambio de opinión debe llegar lo antes posible.

Lea también: Estamos empujando a nuestros hijos hacia la ceguera

Pensamientos finales

El software se usa cada vez más en aplicaciones que requieren precauciones de seguridad integradas. Deben introducirse mejores métodos de diseño de software en todos los ámbitos, ya que tales aplicaciones son vitales en nuestras vidas.

Los procesos como la automatización dependen en gran medida del software en estos días, pero un error en una línea de código puede llevarnos a importantes reveses, como muestran las instancias anteriores.

Ahora, imagine que se incorpora algo como Inteligencia Artificial (IA) en estas aplicaciones. La IA es lo suficientemente aterradora por sí sola sin problemas de software. Agregue errores a la mezcla y no se sabe qué podría suceder.

Sin embargo, hay un lado positivo aquí. Con un poco de trabajo y algunas herramientas nuevas, podemos hacer un mejor software e inteligencia artificial al diseñarlo de manera más sólida y probarlo en sus tacos.

Esperemos que las autoridades interesadas tomen en serio este problema crítico para que podamos utilizar el software en todo su potencial, pero solo para construir un futuro más seguro e inteligente.

Ver siguiente: Inteligencia artificial: tipos y el futuro que tiene para los humanos