design-by-contract

9El calor

2Respuesta

Design By Contract LIbrary (s) para Common Lisp?

Viniendo de un fondo de Clojure, me toman con el potencial de que sus pre-post-condiciones/proporcionan como base para el diseño por contrato: ;; sqr.clj (defn sqr [n] {:pre [(not= 0 n) (number

clojure lisp common-lisp design-by-contract 2010-09-24

---

5El calor

2Respuesta

¿Por qué todavía obtengo Contratos de código: asegúrese de que no haya una advertencia?

A continuación se muestra un ejemplo muy simple. Cuando enciendo las advertencias de análisis estático, sigo teniendo CodeContracts advertencia: asegura no probada: Contract.Result() = String.Empty en

c# code-contracts design-by-contract 2010-11-18

---

13El calor

6Respuesta

comprobando invariantes en C++

¿Existen patrones establecidos para verificar las invariantes de clases en C++? Lo ideal es que las invariantes se verifiquen automáticamente al principio y al final de cada función de miembro público

c++ templates design-by-contract object-lifetime invariants 2011-01-19

---

5El calor

4Respuesta

Las excepciones de argumento deben probarse por unidad?

Sé que esta pregunta es muy similar a otras que se han publicado anteriormente, pero me gustaría discutir este tema de manera adecuada. ¿Cree que la excepción "obvia" debe probarse en una unidad? Con

unit-testing exception design-by-contract 2010-08-23

---

7El calor

4Respuesta

¿por qué las interfaces en lenguajes dinámicos/de tipo suelto?

Trabajo en php, y el concepto de interfaces me parece un poco inútil. A partir de la lectura, entiendo que las interfaces son parte del "diseño por contrato", pero sin al menos garantizar el retorno d

php oop design-by-contract 2010-08-25

---

5El calor

1Respuesta

¿Diseño por contrato para Objective-C?

El año pasado tomé una clase sobre la metodología de diseño por contrato. Programamos en C# con la API Contract que Mircosoft Research creó, y generamos pruebas de unidades con PEX. Este año, estoy pr

iphone objective-c design-by-contract 2012-02-25

---

6El calor

3Respuesta

¿por qué usar 'assert' en un proyecto? (Y por qué usarlo tantas veces)

estaba leyendo el código ListAdder muestra, y hay muchas afirma justo después de la variable, o se utiliza en casi todos los métodos, por ejemplo: self.formatter = [[[NSNumberFormatter alloc] init] au

objective-c assert design-by-contract 2011-10-06

---

33El calor

3Respuesta

Contrato.Requiere el uso

Aquí está mi problema. Soy un gran admirador de Diseño por contrato, estoy usando este concepto especialmente cuando desarrollo bibliotecas que pueden ser utilizadas por otros desarrolladores. Acabo d

c# design-by-contract 2011-11-28

---

8El calor

2Respuesta

Cuándo usar afirmar en el cliente y código común de GWT

Hay varias preguntas sobre StackOverflow que discuten la cuestión de cuándo se debe usar una declaración de afirmación frente a arrojar alguna excepción. (Ejemplos here, here, here, here y here. Sin e

java gwt assert design-by-contract 2011-05-16

---

9El calor

3Respuesta

¿Cuál es la forma idiomática de verificar y documentar las precondiciones de funciones y las postcondiciones en R?

¿Cuál es la forma idiomática de verificar y documentar las condiciones previas de funciones y postcondiciones en R? Consideraría que Eiffel está construido en construcciones require y ensure o D 's in

r exception-handling design-by-contract 2012-05-04

---