Programación por chequeo

Abstract

La programación orientada a objetos ha supuesto un avance importante en la ingeniería del software; sin embargo, el aumento de la complejidad de los sistemas ha puesto de manifiesto la necesidad de separar competencias, especialmente el control de errores, de la funcionalidad básica de los métodos. Este trabajo presenta un nuevo enfoque denominado Programación por Chequeo, basado en la programación orientada a objetos, que permite dicha separación de manera sencilla y reutilizable. El enfoque combina principios de la programación por contrato y de la programación orientada a aspectos, evitando la complejidad de esta última. Se define una extensión al lenguaje C# que introduce nuevas construcciones para aspectos, contratos y chequeadores, junto con una implementación parcial de un compilador que las soporta. Un caso de estudio demuestra que la aplicación de este enfoque puede reducir significativamente el tamaño del código, mejorando su legibilidad, mantenibilidad y reutilización.

Object-oriented programming has significantly advanced software engineering; however, increasing system complexity has highlighted the need to separate concerns, particularly error handling, from core functionality. This paper introduces a new approach called Programación por Chequeo, based on object-oriented programming, which enables a clear and reusable separation of error control from method logic. The proposal integrates key ideas from design by contract and aspect-oriented programming while avoiding the latter’s complexity. An extension to the C# programming language is defined, incorporating new constructs for aspects, contracts, and checkers, along with a partial compiler implementation supporting these features. A case study shows that applying this approach can substantially reduce code size, while improving readability, maintainability, and code reuse.