Publicidad
Publicidad

RSS pruebas unitarias

Programación imperativa vs declarativa III (Demostración Automática de Teoremas)

21 Comentarios
Programación imperativa vs declarativa III (Demostración Automática de Teoremas)

¿Cuantas veces nos hemos encontrado (los programadores) con un bug “raro”, esa conjunción astral que hace que nuestro software, tras meses e incluso años sin mostrar síntomas de debilidad, cruja cual madera reseca por el paso del tiempo?. ¿Cómo demostrar al cliente que no fallará más?, ¿y si hay vidas de personas dependientes de la no existencia de errores en un software como en el caso de Karen Sandler?.

¿Te habías fijado que en cuestión de software no es posible asegurar la ausencia de bugs?. Una vez escrito un código, todas las estrategias tradicionales se basan en la repetición de los procesos de verificación (eg. el código que ha escrito un programador es revisado por otros tantos) o en test que sólo pueden validar una parte muy pequeña del dominio funcional del proceso (eg. una función para sumar dos enteros de 32 bits posee un dominio de 264 elementos, revisarlos todos le llevaría a un procesador a 3GHz 195 años ¡y es una suma!).

¿Será la Demostración Automática de Teoremas la solución a todos los males?.


Leer más »

Buenas prácticas: la integración continua

2 Comentarios
Buenas prácticas: la integración continua

En el último artículo, hablaba de la necesidad de las pruebas, para el aseguramiento de la entrega de valor. Y ciertamente, en uno de los comentarios acertaron plenamente a nombrar otra práctica, muy necesaria para la entrega de valor. La integración continua.

Seguro que muchos habéis vivido esta situación, dos, tres días antes de pasar a un entorno, desarrollo o preproducción (en el mejor de los casos), o incluso a producción (en el peor de los casos), alguien va al control de código fuente y obtiene la última versión, todos sabemos que esto debería hacerse a diario, pero eso es tema de otro artículo. El caso es que se trae todo, y lanza la compilación, y lo siguiente que se oye es “ups, no compila”, la cara se nos desencaja, a todo el equipo, y pensamos ¿qué ha pasado? Y ahora ¿qué binarios desplegamos?

Leer más »
Publicidad
Publicidad
Inicio
Inicio

Ver más artículos