No teste de software orientado a objetos, como a condição de um objeto é parte implícita da entrada e saída dos métodos, necessita-se de uma maneira para explorar sistematicamente as situações e transições do objeto. O modelo de teste adequado para executar essas operações é o teste