C# LanguageContratos de código


Sintaxis

  1. Contrato.Requisitos (Condición, UserMessage)

    Contrato.Requisitos (Condición, UserMessage)

    Contrato.Resultado <T>

    Contrato.Aseguros ()

    Contract.Invariants ()

Observaciones

.NET es compatible con la idea de diseño por contrato a través de su clase de contratos que se encuentra en el espacio de nombres System.Diagnostics e introducido en .NET 4.0. La API de contratos de código incluye clases para verificaciones estáticas y en tiempo de ejecución del código y le permite definir condiciones previas, condiciones posteriores e invariantes dentro de un método. Las condiciones previas especifican las condiciones que deben cumplir los parámetros antes de que un método pueda ejecutarse, las condiciones posteriores que se verifican al completar un método, y las invariantes definen las condiciones que no cambian durante la ejecución de un método.

¿Por qué son necesarios los contratos de código?

El seguimiento de los problemas de una aplicación cuando la aplicación se está ejecutando, es una de las principales preocupaciones de todos los desarrolladores y administradores. El seguimiento se puede realizar de muchas maneras. Por ejemplo -

  • Puede aplicar el rastreo en nuestra aplicación y obtener los detalles de una aplicación cuando la aplicación se está ejecutando.

  • Puede utilizar el mecanismo de registro de eventos cuando está ejecutando la aplicación. Los mensajes se pueden ver usando el Visor de Eventos.

  • Puede aplicar Performance Monitoring después de un intervalo de tiempo específico y escribir datos en vivo desde su aplicación.

Los contratos de código utilizan un enfoque diferente para el seguimiento y la gestión de problemas dentro de una aplicación. En lugar de validar todo lo que se devuelve de una llamada de método, los Contratos de código con la ayuda de condiciones previas, postcondiciones e invariantes de métodos, aseguran que todo lo que ingresa y salga de sus métodos sea correcto.

Contratos de código Ejemplos relacionados