Los errores del software y cómo prevenirlos

Los computadores permean y controlan todas las facetas de la vida de las sociedades modernas, desde nuestro horno de microondas o nuestro automóvil, hasta los grandes sistemas informáticos de empresas como Amazon o Google. Su capacidad para resolver problemas se la da el software, es decir, el conjunto de programas que contienen sus memorias. Y el software, por desgracia, contiene errores que, a veces, se manifiestan de forma dramática mediante pérdidas económicas o de vidas humanas. El libro comienza recordando ciertos fallos catastróficos debidos al software y analizando cuáles fueron sus causas. De menor a mayor complejidad, los siguientes capítulos explican los métodos que los investigadores e ingenieros han ideado para detectar y prevenir tales errores antes de que se manifiesten. El nivel pretendido es divulgativo, si bien ocasionalmente aparecen fórmulas y programas que ilustran los métodos, que pueden esquivarse sin que ello afecte a la comprensión. En paralelo con esta exposición, se desarrolla una historia real —aunque ficcionada en sus detalles por el autor— sobre cómo hizo frente a los errores del software la empresa Amazon Web Services.