-
Estava lendo esse artigo pra um resumo do mestrado escrito pela Barbara Liskov (a criadora do princípio de substituição de Liskov do SOLID).
O artigo se chama “A design methodology for reliable software systems” e foi publicado em 1972, e o interessante é que tirando os exemplos de código e os “Goto”, esse cara facilmente poderia ter sido escrito esses dias.
Interessante a citação de Dijikstra: “Testes podem ser usados para mostrar a presença de bugs, mas nunca para provar uma ausência”
Recomendo a leitura.
