Este é um post disponível para assinantes MVPVideo: Code Contracts: .NET Framework 4 - Novidades do Visual Studio 2010 - Parte 36 (FINAL)
Nesta aula veremos um novo recurso adicionado ao .NET Framework 4.0. Code Contracts é uma implementação da Microsoft para auxiliar na criação de código que segue a abordagem de Design-by-Contract. Os contratos de código trazem uma API independente da linguagem, que pode ser chamada para criação dos contratos, além de uma ferramenta que pode ser instalada no Visual Studio 2010 para verificação dos contratos.
Tempo: 15 min
Mini-resumo: Nesta aula veremos um novo recurso
adicionado ao .NET Framework 4.0. Code Contracts é uma implementação da
Microsoft para auxiliar na criação de código que segue a abordagem de
Design-by-Contract. Os contratos de código trazem uma API independente da
linguagem, que pode ser chamada para criação dos contratos, além de uma
ferramenta que pode ser instalada no Visual Studio 2010 para verificação dos
contratos. Utilizando contratos seu código fica explícito e fácil de entender.
Contratos se baseiam em pré-condições, pós-condições e invariantes, que
garantem que a entidade deve sempre atender o contrato, ou lançar um erro. A
abordagem auxilia na criação de objetos sempre válidos, ou seja, que seguem um
contrato para existência. Objetos que seguem contratos não precisam nunca de
validação, porque se existem são válidos.
Metodologia de desenvolvimento do exemplo: Criação
de uma classe "cliente" que será codificada com contratos e consumida
por uma aplicação de console
Tecnologias utilizadas: Visual Studio 2010, .NET
Framework 4.0
Exemplos construídos: Exemplo simples - aplicação
console
Palavras-chave: Visual Studio 2010, Code Contracts

Curso(s):
Space do autor

download


0
0
