lunes, junio 14, 2010

crash en c++ de un programador experimentado

http://ib-krajewski.blogspot.com/2010/04/bug-hunting-or-how-dumb-can-you-get.html

Un programador experimentado sufre este casque tan desagradable y poco claro para localizarlo

¿alternativas?

Nosotros estamos haciendo apliaciones críticas en tiempo y estabilidad.
En la librería en C++ que estoy preparando se busca la estabilidad de la siguiente forma (entre otros puntos revisados y documentados)

* división por cero de números enteros (controlado en el bucle principal de mensajes)
* no se utilizan punteros, siempre countptr
* los countptr no tienen aritmética de punteros
* escrito un warper para los contenedores de la stl con verificaciones de desbordamiento o de valided de los iteradores
* activados muchísimos warnings de gcc
* los warning de gcc se les sube de nivel a errores
* verificación con valgrind


Este problema en concreto...

* Habría dado un error derivado de un warning generado por el gcc (por una de las opciones específicas para ello)
* Error en tiempo de ejecución, no casque con posible información de contexto apilada
* El programa no se habría parado de forma grosera



No hay comentarios: