Tecnologías para prevenir los errores del software

Abstract

Los computadores permean y controlan todas las facetas de la vida de las sociedades modernas. 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 en forma de pérdidas económicas o de vidas humanas. La conferencia seguirá aproximadamente el índice del reciente libro del autor, "Los errores del software y cómo prevenirlos". Comenzaremos recordando algunos fallos catastróficos debidos al software y analizando cuáles fueron sus causas. De menor a mayor complejidad, a continuación, se explican los métodos que los investigadores e ingenieros han ideado para detectar y prevenir tales errores antes de que se manifiesten. Para cada método, se da cuenta de sus capacidades de detección de errores y del grado de dificultad de su aplicación. Algunos de estos métodos se estudian en los cursos básicos de la carrera de Ingeniería Informática y otros solo son accesibles en estudios especializados de Máster.