Contratos de tipo Pmp

Este artículo está extraído del libro C# in Depth, Second Edition. El autor explica diferentes enfoques para utilizar los Contratos de Código. Según el autor, para algunos desarrolladores los contratos indican los estados de entrada esperados bajo los cuales el método garantiza su correcto funcionamiento. Para otros, dice, los contratos son una garantía más firme, asegurando también que el código no se ejecutará en absoluto si fallan. A continuación, el autor describe cómo empezar a utilizar los contratos. Por último, el autor discute las opciones de modo de fallo y los tipos de contrato basados en las necesidades y el contexto de uso del código, completando el artículo con una breve descripción de la validación.

A no ser que hayas utilizado antes un lenguaje que soporte el Diseño por Contrato, a veces puedes encontrarte inseguro de cómo proceder con los Contratos de Código. Si lo usas junto con el Desarrollo Dirigido por Pruebas, ¿qué deberías escribir primero, el contrato o la implementación? ¿Debe escribir pruebas unitarias para los contratos? ¿Cuándo es apropiado lanzar una ContractException y cuándo debería lanzar una excepción .NET estándar como ArgumentNullException? ¿Deberían las compilaciones de lanzamiento comprobar los contratos o no?

Tipos de contratos de construcción

Prescribe que los diseñadores de software deben definir especificaciones de interfaz formales, precisas y verificables para los componentes de software, que amplíen la definición ordinaria de tipos de datos abstractos con precondiciones, postcondiciones e invariantes. Estas especificaciones se denominan “contratos”, de acuerdo con una metáfora conceptual con las condiciones y obligaciones de los contratos comerciales.

Cuando este supuesto se considera demasiado arriesgado (como en la informática multicanal o distribuida), se adopta el enfoque inverso, lo que significa que el componente servidor comprueba que todas las precondiciones pertinentes se cumplen (antes de procesar la solicitud del componente cliente, o mientras lo hace) y responde con un mensaje de error adecuado en caso contrario.

El término fue acuñado por Bertrand Meyer en relación con su diseño del lenguaje de programación Eiffel y descrito por primera vez en varios artículos a partir de 1986[1][2][3] y en las dos ediciones sucesivas (1988, 1997) de su libro Object-Oriented Software Construction. Eiffel Software solicitó el registro de la marca Design by Contract en diciembre de 2003, y se le concedió en diciembre de 2004[4][5] El propietario actual de esta marca es Eiffel Software[6][7].

Clasificación de los contratos

Cuando la función de la aplicación General>Contrato FIT está configurada como Y, seleccione Configuración del sistema>Reservas>Bloques de negocio>Códigos de estado de los contratos para definir o editar los códigos de estado de los contratos. El parámetro de la aplicación Contratos>Enviar Contrato FIT Confirmado permite enviar contratos desde la central que ya están confirmados, si no se utiliza el proceso de licitación.

Nota: Los códigos de estado que ya han sido configurados en la pantalla de definición de códigos de estado (MNT_STATUS) NO pueden ser duplicados para los códigos de estado de los contratos. Si se crea un código duplicado, aparece un mensaje informando al usuario de que el estado ya existe.

Ejemplo de contrato

Parte 1Parte 2Parte 3Parte 4Parte 5Parte 6Parte 7Parte 8Parte 9Parte 10Parte 11Parte 12Parte 13Parte 14Parte 15Parte 16Parte 17Parte 18Parte 19Parte 20Parte 21Parte 22Parte 23Parte 24Parte 25Parte 26Parte 27Parte 28Parte 29Parte 30Parte 31Parte 32Parte 33Parte 34Parte 35Parte 36Parte 37Parte 38Parte 39Parte 40Parte 41Parte 42Parte 43Parte 44Parte 45Parte 46Parte 47Parte 48Parte 49Parte 50Parte 51Parte 52Parte 53

La necesidad de los suministros o servicios es imperiosa e inusualmente urgente (es decir, cuando el Gobierno se vería gravemente perjudicado, financieramente o de otro modo, si la necesidad no se satisface antes de lo que sería posible si los precios se establecieran antes de comenzar el trabajo). El responsable de la contratación procederá a la fijación de precios tan pronto como sea posible. En ningún caso se fijará el precio de todo el pedido con carácter retroactivo.