Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos

Abstract

El diseño por contrato es una metodología en ingeniería de software propuesta por Bertrand Meyer para mejorar la calidad de la construcción de software. A pesar de ser una metodología ampliamente reconocida, se observa que su puesta en práctica no tiene el mismo nivel de aplicación. Con el objetivo de aportar a mejorar la confiabilidad del software desarrollado en C++, en este trabajo se presenta el desarrollo y análisis de una biblioteca para aplicar contratos en dicho lenguaje. La herramienta no depende de extensiones por fuera del estándar de C++, presenta una sintaxis clara, una implementación eficiente y provee una integración con el mecanismo de manejo de excepciones. Está disponible para que equipos de desarrollo que buscan mejorar la confiabilidad de sus desarrollos incorporando diseño por contratos.