Resultados da pesquisa a pedido "design-by-contract"
Testes de unidade - O benefício de testes de unidade com alterações de contrato?
Recentemente, tive uma discussão interessante com um colega sobre testes de unidade. Estávamos discutindo quando a manutenção dos testes de unidade se tornou menos produtiva quando seus contratos mudam. Talvez alguém possa me esclarecer como ...
Design By Contract, escrevendo código fácil de testar, construção de objetos e injeção de dependência, reunindo as melhores práticas
Venho tentando descobrir as práticas recomendadas para escrever código de teste, mas mais especificamente as práticas relacionadas à construção de objetos. No livro azul, descobrimos que deveríamos impor invariantes ao criar objetos para evitar ...
Compilação de verificação de tempo em Design por contrato?
Eu li que o compilador pode aplicar o dbc no tempo de compilação. Como isso acontece?
Quando usar assert no cliente e código GWT comum
Há várias perguntas no StackOverflow que discutem a questão de quando alguém deve usar uma declaração assertiva versus lançar alguma exceção. ...
Projeto por contrato e desenvolvimento orientado a testes
Estou trabalhando para melhorar o processo de desenvolvimento do nosso grupo e estou considerando a melhor forma de implementar o Design By Contract com o Desenvolvimento Orientado a Testes. Parece que as duas técnicas têm muita sobreposição, e ...
Por que o design por contrato não é tão popular em comparação com o desenvolvimento orientado a testes?
Você pode pensar que esta pergunta é comoesta [https://stackoverflow.com/questions/394591/design-by-contract-and-test-driven-development] pergunta feita no StackOverflow anteriormente. Mas estou tentando ver as coisas de maneira diferente. No ...
Como mostrar se um método pode retornar nulo
Depois de postaressa questão [https://stackoverflow.com/questions/410890/how-to-trace-a-nullpointerexception-in-a-chain-of-getters] e lendoaquele [https://stackoverflow.com/questions/271526/How-to-avoid-null-statements-in-java] Percebi que é ...
Contratos de código: Por que alguns invariantes não são considerados fora da classe?
Considere este tipo imutável: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invariant(Path != null); } public Settings(string path) { Contract.Requires(path ...
Estou implementando este contrato simples incorretamente?
Este é o meu código: public class RegularPolygon { public int VertexCount; public double SideLength; public RegularPolygon(int vertexCount, double sideLength) { Contract.Requires(vertexCount >= 3); VertexCount = vertexCount; SideLength ...
Projeto por contratos e construtores
Estou implementando minha própria ArrayList para fins escolares, mas, para apimentar um pouco as coisas, estou tentando usar os Contratos de Código C # 4.0. Tudo estava bem até eu precisar adicionar contratos aos construtores. Devo adicionar ...
Página 1 do 2