¿Dónde está Code Contracts en Visual Studio 2010?
Si has instalado ya Visual Studio 2010, observarás que al crear un nuevo proyecto y seleccionar las propiedades del proyecto, no verás ninguna solapa de Code Contracts.
La pregunta es... ¿dónde está Code Contracts en Visual Studio 2010?.
La respuesta es muy sencilla.
Visual Studio 2010 instala las clases de Code Contracts, pero no las herramientas.
Si quieres acceder a la solapa de Code Contracts en tu proyecto, tendrás que instalarte antes las tools o herramientas de Code Contracts.
Estas herramientas se instalarán en Visual Studio 2008 y Visual Studio 2010 indistintamente.
Recuerda que hay dos paquetes diferentes, la versión estándar y la
versión premium.
La versión estándar está pensada para las versiones Express de Visual
Studio, mientras que la versión premium está pensada para el resto de
versiones de Visual Studio.
La última versión que existe de Code Contracts por el momento es la
v1.2.30312.0. La instalación tardará unos minutos tras lo cual, podremos
localizar en la ventana de propiedades de un proyecto ahora sí, la
solapa de Code Contracts.
La página de descarga de las tools o herramientas de Code Contracts la encontrarás en este enlace.
Más información sobre Code Contracts en Microsoft Research.