Quais são as chances de que as pós condições não sejam avaliadas ao construir testes usando TDD? As pré e pós condições não são normalmente avaliadas em engenharia de software, apesar da literatura afirmar que devam ser levantadas em tempo de Projeto (Design). Não seria uma oportunidade declarar isto formalmente no TDD? Riscos positivos e negativas precisam ser avaliados.
