Comentários sobre: Design By Contract (DbC) em .NET http://www.heroisdati.com/design-by-contract-dbc-em-net/ Por Denis Ferrari Mon, 19 Dec 2011 10:14:08 +0000 hourly 1 http://wordpress.org/?v=3.2.1 Por: Design by contract (DbC) em .NET: comparando soluções :: Tutoriais CTDO - Sua Base de Tutoriais Online http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-178 Design by contract (DbC) em .NET: comparando soluções :: Tutoriais CTDO - Sua Base de Tutoriais Online Sat, 28 Aug 2010 21:01:44 +0000 http://www.heroisdati.com/?p=483#comment-178 [...] ter escrito o seguinte comentário: “Pra min isso é firula, não vejo diferença ne&#1...“. Alguns códigos que vou [...] [...] ter escrito o seguinte comentário: “Pra min isso é firula, não vejo diferença ne&#1…“. Alguns códigos que vou [...]

]]> Por: Denis Ferrari http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-136 Denis Ferrari Thu, 05 Aug 2010 03:52:38 +0000 http://www.heroisdati.com/?p=483#comment-136 Dilter, Realizei vários testes na minha máquina comparando as implementações, não tive uma queda de performance expressiva usando DbC. Como isso não é uma comprovação científica, sugiro que você faça alguns testes de utilização na arquitetura que deseja implementar, e é claro, compartilhe os resultados :). Abraços! Dilter,

Realizei vários testes na minha máquina comparando as implementações, não tive uma queda de performance expressiva usando DbC. Como isso não é uma comprovação científica, sugiro que você faça alguns testes de utilização na arquitetura que deseja implementar, e é claro, compartilhe os resultados :) .

Abraços!

]]> Por: Dilter Porto http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-131 Dilter Porto Fri, 30 Jul 2010 16:55:56 +0000 http://www.heroisdati.com/?p=483#comment-131 Olá Denis. Desculpa, não especifiquei bem o custo que estava me referindo. Estava falando a respeito do custo de performance pelo fato da necessidade da instanciação de mais objetos e processamentos adicionais. Isso tudo comparado ao custo da implementação tradicional, com o "if". Valeu. Olá Denis.
Desculpa, não especifiquei bem o custo que estava me referindo.

Estava falando a respeito do custo de performance pelo fato da necessidade da instanciação de mais objetos e processamentos adicionais. Isso tudo comparado ao custo da implementação tradicional, com o “if”.

Valeu.

]]> Por: Cadu http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-121 Cadu Wed, 28 Jul 2010 02:58:49 +0000 http://www.heroisdati.com/?p=483#comment-121 Fala meu camarada parabéns gostei do post abração Fala meu camarada parabéns gostei do post abração

]]> Por: Fabrício Vargas Matos http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-119 Fabrício Vargas Matos Tue, 27 Jul 2010 15:58:01 +0000 http://www.heroisdati.com/?p=483#comment-119 Fala Denis, Legal saber do recurso no .NET. O uso de pré/pós-condições e invariantes (não estou falando de classes .NET, mas da técnica) é algo muito interessante para especificação de comportamentos dos algoritmos e sua prova de correção. Aplicamos isso muito bem em casos mais específicos, como algoritmos de busca e ordenação por exemplo e outros comportamentos de infra. Mas na indústria de sistemas de informação, na camada de domínio, não vemos um uso adequado. Custo? Talvez. Embora a aderência dessas técnicas (básicas em Métodos Formais) ao desenvolvimento de sistemas de informação seja questionável, a verdade é que muitos poucos desenvolvedores realmente sabem utilizar coisas como Invariantes, indução matemática, etc.. Nessa seara tem pano pra manga! Abraços! Fala Denis,

Legal saber do recurso no .NET.

O uso de pré/pós-condições e invariantes (não estou falando de classes .NET, mas da técnica) é algo muito interessante para especificação de comportamentos dos algoritmos e sua prova de correção. Aplicamos isso muito bem em casos mais específicos, como algoritmos de busca e ordenação por exemplo e outros comportamentos de infra. Mas na indústria de sistemas de informação, na camada de domínio, não vemos um uso adequado. Custo? Talvez. Embora a aderência dessas técnicas (básicas em Métodos Formais) ao desenvolvimento de sistemas de informação seja questionável, a verdade é que muitos poucos desenvolvedores realmente sabem utilizar coisas como Invariantes, indução matemática, etc..

Nessa seara tem pano pra manga!

Abraços!

]]> Por: Denis Ferrari http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-117 Denis Ferrari Mon, 26 Jul 2010 20:44:25 +0000 http://www.heroisdati.com/?p=483#comment-117 Olá Dilter, A curva de aprendizado dessa técnica é muito pequena, o que torna o seu custo irrisório. Vou escrever um novo post comparando as duas soluções. Abraços! Olá Dilter,

A curva de aprendizado dessa técnica é muito pequena, o que torna o seu custo irrisório.

Vou escrever um novo post comparando as duas soluções.

Abraços!

]]> Por: Dilter Porto http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-113 Dilter Porto Mon, 26 Jul 2010 17:33:05 +0000 http://www.heroisdati.com/?p=483#comment-113 Denis, acho que a única dúvida que vem é com relação ao custo desta implementação. A maior clareza no código e a utilização de uma técnica de propósito específico para um problema (manutenção correta de estado dos objetos) traz um custo maior se comparado às tradicionais implementações com if .. throw exception ? Denis,
acho que a única dúvida que vem é com relação ao custo desta implementação. A maior clareza no código e a utilização de uma técnica de propósito específico para um problema (manutenção correta de estado dos objetos) traz um custo maior se comparado às tradicionais implementações com if .. throw exception ?

]]> Por: Denis Ferrari http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-107 Denis Ferrari Fri, 23 Jul 2010 19:21:36 +0000 http://www.heroisdati.com/?p=483#comment-107 Oi Guilherme, O DbC é justamente para isso, garantir o estado do seu objeto durante todo o tempo de vida dele. Você protege seus métodos contra parâmetros inválidos e suas propriedades contra configurações errôneas. É uma das formas de garantir o estado do seu objeto, algumas pessoas utilizam AOP para isso, se quiser saber mais veja o link: http://podcast.dotnetarchitects.net/2010/05/podcast-13programacao-orientada-a-aspecto/ Abraços! Oi Guilherme,

O DbC é justamente para isso, garantir o estado do seu objeto durante todo o tempo de vida dele. Você protege seus métodos contra parâmetros inválidos e suas propriedades contra configurações errôneas.

É uma das formas de garantir o estado do seu objeto, algumas pessoas utilizam AOP para isso, se quiser saber mais veja o link:
http://podcast.dotnetarchitects.net/2010/05/podcast-13programacao-orientada-a-aspecto/

Abraços!

]]> Por: Guilherme http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-106 Guilherme Fri, 23 Jul 2010 18:37:28 +0000 http://www.heroisdati.com/?p=483#comment-106 Podemos usar DbC para fazer validações nas entidades? Por exemplo garantir que uma variavel nunca seja nula ou vazia, esse tipo de coisa? É uma boa pratica ou recomendado? Podemos usar DbC para fazer validações nas entidades? Por exemplo garantir que uma variavel nunca seja nula ou vazia, esse tipo de coisa? É uma boa pratica ou recomendado?

]]> Por: Renan http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-105 Renan Fri, 23 Jul 2010 14:13:19 +0000 http://www.heroisdati.com/?p=483#comment-105 Parabens, gostei.Aprendizado novo. Parabens, gostei.Aprendizado novo.

]]> Por: Denis Ferrari http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-104 Denis Ferrari Fri, 23 Jul 2010 13:52:58 +0000 http://www.heroisdati.com/?p=483#comment-104 Já está no seu e-mail. Não precisa desenvolver o construtor do hexadecimal, só garantir as pré-condições, pós-condições e invariantes sem usar os contratos. Se preocupe com o valor mínimo e máximo das taxas (0 -> 255). ;) Já está no seu e-mail.

Não precisa desenvolver o construtor do hexadecimal, só garantir as pré-condições, pós-condições e invariantes sem usar os contratos. Se preocupe com o valor mínimo e máximo das taxas (0 -> 255).
;)

]]> Por: Gustavo http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-103 Gustavo Fri, 23 Jul 2010 13:46:57 +0000 http://www.heroisdati.com/?p=483#comment-103 Blz, Me envie essa solution q vc usou nesse demo q eu altero do meu jeito sem essas firulas de Contracts... hehe KISS Blz,

Me envie essa solution q vc usou nesse demo q eu altero do meu jeito sem essas firulas de Contracts… hehe

KISS

]]> Por: Denis Ferrari http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-102 Denis Ferrari Fri, 23 Jul 2010 13:44:27 +0000 http://www.heroisdati.com/?p=483#comment-102 Olá Cesar, O exemplo está na versão 4.0. Para trabalhar com contratos na versão 3.5 do framework você pode utilizar o Spec#. Veja maiores informações no link: http://research.microsoft.com/en-us/projects/specsharp/ Abraços! Olá Cesar,

O exemplo está na versão 4.0. Para trabalhar com contratos na versão 3.5 do framework você pode utilizar o Spec#. Veja maiores informações no link:
http://research.microsoft.com/en-us/projects/specsharp/

Abraços!

]]> Por: Cesar Rabelo http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-101 Cesar Rabelo Fri, 23 Jul 2010 13:25:55 +0000 http://www.heroisdati.com/?p=483#comment-101 Esse namespace contracts está disponível em qual versão do .net framework? Ou ela é externa a .net framework? Tentei simular esse exemplo no vs2008 framework 3.5 e não achei esse namespace. System.Diagnostics.Contracts: só achei essas System.Diagnostics.CodeAnalysis; System.Diagnostics.Eventing; System.Diagnostics.PerformanceData; System.Diagnostics.SymbolStore; Esse namespace contracts está disponível em qual versão do .net framework? Ou ela é externa a .net framework? Tentei simular esse exemplo no vs2008 framework 3.5 e não achei esse namespace. System.Diagnostics.Contracts: só achei essas System.Diagnostics.CodeAnalysis;
System.Diagnostics.Eventing;
System.Diagnostics.PerformanceData;
System.Diagnostics.SymbolStore;

]]> Por: Denis Ferrari http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-100 Denis Ferrari Fri, 23 Jul 2010 01:47:51 +0000 http://www.heroisdati.com/?p=483#comment-100 Oi Gustavo, Por que não fazemos o seguinte: Faça sua implementação da mesma classe garantindo as regras a sua maneira, depois comparamos os resultados ok? O que acha? Oi Gustavo,

Por que não fazemos o seguinte: Faça sua implementação da mesma classe garantindo as regras a sua maneira, depois comparamos os resultados ok? O que acha?

]]> Por: Gustavo http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-99 Gustavo Thu, 22 Jul 2010 20:55:41 +0000 http://www.heroisdati.com/?p=483#comment-99 Pra min isso é firula, não vejo diferença nenhum do if(...) throw new Exception... Pra min isso é firula, não vejo diferença nenhum do if(…) throw new Exception…

]]> Por: Denis Ferrari http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-98 Denis Ferrari Thu, 22 Jul 2010 20:36:28 +0000 http://www.heroisdati.com/?p=483#comment-98 Obrigado pelo feedback Edmilson! :) Obrigado pelo feedback Edmilson! :)

]]> Por: Edmilson http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-97 Edmilson Thu, 22 Jul 2010 20:08:53 +0000 http://www.heroisdati.com/?p=483#comment-97 Denis, muito bom artigo, seu blog esta show de Bola!! []´s Edmilson Denis, muito bom artigo, seu blog esta show de Bola!!
[]´s

Edmilson

]]> Por: Jhonatan Fernando http://www.heroisdati.com/design-by-contract-dbc-em-net/comment-page-1/#comment-96 Jhonatan Fernando Thu, 22 Jul 2010 19:04:57 +0000 http://www.heroisdati.com/?p=483#comment-96 Denis, parabéns pelo artigo, ficou muito bom!! Denis, parabéns pelo artigo, ficou muito bom!!

]]>