///
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