Diseño por Contratos: construyendo software confiable

Abstract

La construcción de software confiable es uno de los desafíos de la Ingeniería de Software. En este trabajo se presentan los conceptos principales del diseño por contratos. Las técnicas del diseño por contratos afectan todas las actividades del desarrollo de software: desde el análisis hasta la implementación: corrección, reuso, depuración, testeo, documentación y administración. Si bien el lenguaje de programación Eiffel es el lenguaje comercial que actualmente tiene el soporte nativo para contratos, sus ideas y conceptos pueden ser aplicados en diferentes lenguajes (JAVA, C++, C#, etc.)

The construction of reliable software is one of the software engineering challenges. In this paper we present the main concepts of Design by Contract. The techniques of design by contracts affect all software development activities: from analysis to implementation: correction, software reuse, debugging, testing, documentation and management. Although the programming language Eiffel is the commercial language that at the moment has the native support for contracts, the ideas and concepts can be applied in different languages. (JAVA, C++, C#, etc.)