Page 1 - Programación Defensiva

Laboratorio de Ciberseguridad
Programación Defensiva: maximizando la calidad del
software
Lic. Federico Montero - federicomont7@gmail.com
Lic. Franco Fernández - francofernandez0211@gmail.com
Lic. Rodrigo Perera – rodrigoperera9@gmail.com
La programación defensiva se basa en el
concepto de conducción defensiva, donde se
asume que nunca se puede estar seguro de lo
que otros conductores van a hacer. La idea es
garantizar que, ante cualquier acción
peligrosa, no se sufrirá ningún daño,
asumiendo la responsabilidad de protegerse a
uno mismo incluso cuando la culpa recaiga en
el otro conductor.
De manera similar, el programador asume
que puede haber fallas o inconsistencias en el
código no detectadas, por lo que sigue
normas rigurosas de codificación y desarrollo.
El objetivo es obtener un código fuente fácil
de entender, mantenible y confiable,
especialmente en aplicaciones críticas como
las mencionadas en los estándares de
codificación para misiones espaciales de la
NASA. En estos contextos, es esencial que el
código funcione de manera impecable, sin
presentar fallos.
Técnicas de la programación defensiva
Al aplicar técnicas de programación
defensiva, los programadores fortalecen la
calidad del código y mejoran la solidez y
seguridad de los sistemas.
Aserciones: Son cláusulas lógicas utilizadas
para la especificación y verificación del
código durante el desarrollo. Ayudan a
documentar, depurar y probar el código. Las
precondiciones garantizan la corrección del
código al especificar las condiciones que
deben cumplirse para que el programa pueda
realizar su tarea correctamente, mientras que
las pos condiciones definen los resultados
esperados que una función debe cumplir
después de ejecutarse correctamente. Se
recomienda desactivar las aserciones en la
versión final del programa para optimizar el
rendimiento, asegurando así que el código se
ejecute de manera más eficiente en
producción sin el costo adicional de validar
aserciones ya verificadas durante el
desarrollo.
Validación de entradas: Es esencial para
garantizar la integridad de los datos y evitar
errores. Las cláusulas de protección mejoran
la legibilidad del código al separar la lógica
principal de las comprobaciones de validez.
Manejo de excepciones: Es crucial para
gestionar errores durante la ejecución del
programa. Es importante utilizar excepciones
solo en situaciones excepcionales y no como
parte del flujo normal del programa.
Principios para desarrolladores
Los siguientes principios contribuyen a una
codificación que busca la excelencia.
Identificar y evitar obstáculos comunes, es
fundamental para mantener la calidad y
mantenibilidad del código.
Diseño por Contratos: Esta metodología
asegura que el programa funcione como se
espera al establecer relaciones entre una clase
proveedora y una clase cliente, produciendo
un error cada vez que el programa no cumple
con un contrato.
Enfoque Pragmático: Este enfoque implica
abordar los problemas de inmediato en lugar
de ignorarlos, lo que puede conducir a
consecuencias más graves en el futuro. Esto