Nesta seção, vamos dar uma olhada no exemplo de uma classe que representa uma conta bancária. O contrato para a classe ContaBancarianão apenas exige métodos get e set para o saldo da conta, mas também métodos para depositar e sacar dinheiro. Também especifica as duas seguintes condições que devem ser garantidas:

Nós escrevemos os testes para a classe ContaBancaria antes de escrevermos o código propriamente dito da classe. Nós usamos as condições do contrato como base para os testes e nomeamos os testes conforme o mesmo, como mostrado em Exemplo 12.1.

<?php
require_once 'ContaBancaria.php';
 
class ContaBancariaTest extends PHPUnit_Framework_TestCase
{
protected $cb;
 
protected function setUp()
{
$this->cb = new ContaBancaria;
}
 
public function testSaldoInicialZero()
{
$this->assertEquals(0, $this->cb->getSaldo());
}
 
public function testSaldoNaoPodeFicarNegativo()
{
try {
$this->cb->sacarDinheiro(1);
}
 
catch (ExcecaoContaBancaria $e) {
$this->assertEquals(0, $this->cb->getSaldo());
 
return;
}
 
$this->fail();
}
 
public function testSaldoNaoPodeFicarNegativo2()
{
try {
$this->cb->depositarDinheiro(-1);
}
 
catch (ExcecaoContaBancaria $e) {
$this->assertEquals(0, $this->cb->getSaldo());
 
return;
}
 
$this->fail();
}
}
?>

Agora escrevemos somente o mínimo de código necessário para o primeiro teste, testSaldoInicialZero(), passar. Em nosso exemplo essa quantidade equivale a implementar o método getBalance() da classe ContaBancaria, como mostrado em Exemplo 12.2.

<?php
class ContaBancaria
{
protected $saldo = 0;
 
public function getSaldo()
{
return $this->saldo;
}
}
?>

O teste para a primeira condição do contrato agora passa, mas os testes para a segunda condição do contrato falham, porque ainda temos que implementar os métodos que esses testes chamam.

phpunit ContaBancariaTest
PHPUnit 3.8.0 by Sebastian Bergmann.

.
Fatal error: Call to undefined method ContaBancaria::sacarDinheiro()

Para que os testes que asseguram a segunda condição do contrato passem, agora precisamos implementar os métodos sacarDinheiro(), depositarDinheiro(), e setSaldo() como mostrado em Exemplo 12.3. Esses métodos são escritos de forma a gerar uma ExcecaoContaBancaria quando forem chamados com valores ilegais que poderiam violar as condições do contrato.

<?php
class ContaBancaria
{
protected $saldo = 0;
 
public function getSaldo()
{
return $this->saldo;
}
 
protected function setSaldo($saldo)
{
if ($saldo >= 0) {
$this->saldo = $saldo;
} else {
throw new ExcecaoContaBancaria;
}
}
 
public function depositarDinheiro($saldo)
{
$this->setSaldo($this->getSaldo() + $saldo);
 
return $this->getSaldo();
}
 
public function sacarDinheiro($saldo)
{
$this->setSaldo($this->getSaldo() - $saldo);
 
return $this->getSaldo();
}
}
?>

Agora os testes que asseguram a segunda condição do contrato também passam:

phpunit ContaBancariaTest
PHPUnit 3.8.0 by Sebastian Bergmann.

...

Time: 0 seconds


OK (3 tests, 3 assertions)

Alternativamente, você pode usar os métodos estáticos de asserção fornecidos pela classe PHPUnit_Framework_Assert para escrever as condições do contrato como asserções do tipo Projeto-por-Contrato em seu código, como mostrado em Exemplo 12.4. Quando uma dessas asserções falha, surge uma exceção PHPUnit_Framework_AssertionFailedError Com essa abordagem, você escreve menos código para as verificações das condições do contrato e os testes se tornam mais legíveis. Porém, você adiciona uma dependência em tempo de execução ao PHPUnit no seu projeto.

<?php
class ContaBancaria
{
private $saldo = 0;
 
public function getSaldo()
{
return $this->saldo;
}
 
protected function setSaldo($saldo)
{
PHPUnit_Framework_Assert::assertTrue($saldo >= 0);
 
$this->saldo = $saldo;
}
 
public function depositarDinheiro($quantia)
{
PHPUnit_Framework_Assert::assertTrue($quantia >= 0);
 
$this->setSaldo($this->getSaldo() + $quantia);
 
return $this->getSaldo();
}
 
public function sacarDinheiro($quantia)
{
PHPUnit_Framework_Assert::assertTrue($quantia >= 0);
PHPUnit_Framework_Assert::assertTrue($this->saldo >= $quantia);
 
$this->setSaldo($this->getSaldo() - $quantia);
 
return $this->getSaldo();
}
}
?>

Escrevendo as condições do contrato nos testes, temos usado o conceito Projeto-por-Contrato para programar a classe ContaBancaria Então escrevemos, seguindo a abordagem Programe Testes Primeiro, o código precisava fazer os testes passarem. Porém esquecemos de escrever testes que chamem setSaldo(), depositarDinheiro(), e sacarDinheiro() com valores legais que não violem as condições do contrato. Precisamos de um meio para testar nossos testes ou pelo menos medir sua qualidade. Tal meio é a análise da informação de cobertura-de-código que discutiremos a seguir.