Los seis principios de DbC en el diseño contractual

Principio 1 Distinguir entre comandos y consultas. La consulta devuelve un resultado sin cambiar las propiedades visibles del objeto. Los comandos cambian el estado de un objeto pero no devuelven resultados. (No necesariamente debe devolver resultados)

Principio 2 Separe las consultas básicas de las consultas derivadas. Las consultas derivadas se pueden definir utilizando consultas base.

Principio 3 Para cada consulta derivada, establezca una condición posterior que se defina utilizando los resultados de una o más consultas base. De esta forma, siempre que conozcamos el valor de la consulta básica, también podremos conocer el valor de la consulta derivada.

Principio 4 Para cada comando, escribe una condición posterior que especifique el valor de cada consulta básica. Combinado con el principio de "usar consultas base para definir consultas derivadas", ahora tenemos el efecto visual completo de cada comando.

Principio 5 Para cada consulta y comando, utilice una condición a priori adecuada. Las condiciones a priori definen cuándo los clientes pueden invocar consultas y comandos.

Principio 6 Escribir invariantes para definir propiedades constantes de los objetos. Una clase es la encarnación de algún tipo de abstracción y se debe centrar la atención en los atributos más importantes para ayudar al lector a construir un modelo conceptual correcto sobre la abstracción de clase.