DbC
Existe um paradigma secundário de desenvolvimento chamado Design by Contract (DbC). Ele pode ser usado em qualquer linguagem, mas algumas possuem sintaxe própria para facilitar. Ele é usado para dar mais confiabilidade ao código, para tornar mais explícito no código como o código deve interagir nas suas pontas.
Assim como se colocar tipo explícito de variáveis, em parâmetros, criando um contrato que deve ser cumprido, podemos colocar outras restrições de como os argumentos devem ser passados para um método.
Em geral usa-se pré-condições que verificam o que vem nos parâmetros de forma detalhada. O código não deve compilar ou emitir um erro de programação se algumas das condições foram violadas em sua chamada.
Um pouco menos usadas são as pós-condições que verificam se o resultado gerado pelo método atende alguma condição, ou seja ele responde o que se esperava.
Note que isso acaba fazendo parte do contrato do método. Em algumas linguagens formalmente fazendo parte da API, em outras apenas como uma verificação adicional.
Também pode-se usar asserções no meio do método para verificar no meio do algoritmo se tudo está ocorrendo corretamente.
Em alguns casos essas verificações podem ser desligadas em tempo de execução sem prejuízo. Isso dá mais performance e pode até reduzir o tamanho do código.
Invariância
Outra verificação é se o estado do objeto está sempre dentro de determinadas condições estabelecidas. Ou seja, as variáveis do objeto devem conter valores de um jeito específico que mantenha o objeto sempre válido. Geralmente isso ocorre ao final de algum método que pode mudar o estado de algum membro da instância ou até do tipo.
Em outras palavras este estado não pode variar de forma inválida. Pelo menos enquanto o dado pode ser acessado publicamente.
Nada impede que o estado fique inválido durante a execução de um método ou até entre vários métodos privados, afinal métodos privados são detalhes de implementação. O que se faz internamente não importa, tudo é válido. Quando termina algo o estado precisa estar válido.
Métodos privados
Em alguns casos pode-se querer impedir variância mesmo entre métodos privados. O texto fala disto.
Dependendo da linguagem fica até difícil garantir a invariância pública sem interferir na privada.
Em geral pré e pós-condições e invariância deveriam ser mais que suficientes para métodos privados, já que não fazem parte da API pública. Em alguns casos pode ser suficiente até para a API pública, dispensando completamente os testes, neste tipo.
Conclusão
DbC é algo muito útil para aumentar a qualidade do código e evitar tanto teste, mantendo um pouco mais DRY já que a especificação está está no código.
Sem isso ou depende só de testes externos ou ficamos no bumba-meu-boi, você confia que você ou outra nunca fará uma alteração que comprometa o objeto ou resultado que ele deve fornecer.
Claro que saber o quanto deve usá-lo é quase uma arte. Alguma preferem o caminho simples de fazer em tudo, mesmo quando pode até ser mais problemático, ou o mais comum e mais simples ainda, não verificar nada, afinal ela é o Chuck Norris.
Queria ver mais isso em linguagens. C# tem algo assim, mas é meio gambiarra de biblioteca mais ferramenta externa (Visual Studio), então poucos usam. Mas querem por isso na linguagem do jeito certo.
Foi até desligado em versões recentes.
Exemplo de código em Spec# que é uma variação do C# desenvolvido pela Microsoft Research.
public static int BinarySearch(int[]! a, int key)
requires forall{int i in (0: a.Length), int j in (i: a.Length); a[i] <= a[j]};
ensures 0 <= result ==> a[result] == key;
ensures result < 0 ==> forall{int i in (0: a.Length); a[i] != key};
{
int low = 0;
int high = a.Length - 1;
while (low <= high)
invariant high+1 <= a.Length;
invariant forall{int i in (0: low); a[i] != key};
invariant forall{int i in (high+1: a.Length); a[i] != key};
{
int mid = (low + high) / 2;
int midVal = a[mid];
if (midVal < key) {
low = mid + 1;
} else if (key < midVal) {
high = mid - 1;
} else {
return mid; // key found
}
}
return -(low + 1); // key not found.
}
Coloquei no GitHub para referência futura.
Note que existe invariância dentro do método, o que é me parece não ser a proposta inicial do DbC, mas que é algo que pode ser interessante no lugar da asserção.