Preguntas etiquetadas con code-contracts

26
¿Por qué usaría códigos de contratos?

Recientemente me topé con el marco de Microsoft para contratos de código. Leí un poco de documentación y me encontré constantemente preguntando: "¿Por qué querría hacer esto, ya que no y a menudo no puede realizar un análisis estático?". Ahora, ya tengo una especie de estilo de programación...

19
¿Cuándo usar [Pure] en un constructor?

Estoy aprendiendo acerca de los contratos de código en .NET, y estoy tratando de entender la idea de constructores puros. La documentación de los contratos de código establece: Todos los métodos que se llaman dentro de un contrato deben ser puros; es decir, no deben actualizar ningún estado...

13
Programación basada en contrato vs prueba unitaria

Soy un programador algo defensivo y un gran admirador de los Contratos de Código de Microsofts. Ahora no siempre puedo usar C # y en la mayoría de los lenguajes, la única herramienta que tengo son las aserciones. Por lo general, termino con un código como este: class { function() {...