Preguntas etiquetadas con code-contracts

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 defensiva, con …

26 code-contracts 

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 preexistente. Un …

19 c#  .net  code-contracts  pure-function 

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() …

13 testing  code-contracts 

Soy un gran fanático de escribir afirmaciones, contratos o cualquier tipo de cheques disponibles en el idioma que estoy usando. Una cosa que me molesta un poco es que no estoy seguro de cuál es la práctica común para hacer frente a los controles duplicados. Situación de ejemplo: primero escribo …

10 assertions  code-contracts 

Estoy haciendo un proyecto de investigación donde estoy investigando las opciones para manejar los cambios en una arquitectura de microservicios basada en eventos. Entonces, digamos que tenemos una aplicación donde obtuvimos cuatro servicios diferentes. Cada uno de estos servicios tiene una base de datos propia para almacenar datos locales. En …

9 communication  versioning  microservices  message-queue  code-contracts