Considere uma aplicação bancária na qual exista uma classe denominada ContaCorrente que tem os seguintes métodos:

abrir(),depositar(),retirar(),saldo(),limiteCredito(),cartoesAssociados(),fechar(),excluir()

Cada um destes métodos ou operações pode ser aplicado à ContaCorrente, mas há certas restrições implícitas como: a conta precisa ter sido aberta para que se possam realizar outras operações e precisa ser fechada após todas as operações terem sido realizadas. Se a conta for excluída nenhuma operação pode mais ser realizada. Mas as operações podem ser realizadas em diversas ordens e diversas vezes. Desta forma, o teste da classe deve assumir diversos cenários. Considere as sequências de casos de testes:

I. abrir→depositar→retirar→fechar

II. abrir→depositar→retirar→saldo→retirar→retirar→limiteCredito→fechar

III. abrir→saldo→retirar→depositar→retirar→depositar→cartoesAssociados→retirar→retirar→fechar

Os casos de testes