Antes de executar

Primeiro, revise sem executar nada

Abra o material abaixo e leia com calma. Não tente rodar código. Não procure uma ferramenta automática. Apenas observe os textos e compare cada trecho com aquilo que já sabemos da Cantina Horizonte.

Você acabou de testar sem executar o programa

Se você percebeu que dois documentos trazem valores diferentes para o cupom, encontrou um problema antes da execução.

Se leu o código abaixo e percebeu que ele aceita 0 e valores negativos, também encontrou um problema sem executar a função:

def validar_quantidade(quantidade):
    return quantidade <= 10

A regra conhecida é:

O código verifica apenas o limite superior. Só a leitura já revelou que uma parte da regra ficou de fora.

Esse tipo de trabalho tem um nome

A palavra artefato, aqui, significa simplesmente um produto do trabalho da equipe: algo criado durante o projeto e que pode ser revisado.

E quando executamos?

Um não substitui o outro. Eles encontram problemas de maneiras diferentes.

Por que procurar cedo?

Imagine que a regra do cupom esteja contraditória desde a documentação.

Se ninguém perceber, o desenvolvedor escolhe uma interpretação, escreve o código, o testador cria casos baseados em outra interpretação e a discussão só aparece depois.

Ao revisar cedo, podemos perguntar antes:

Resolver a dúvida nesse momento evita que várias partes do projeto avancem sobre uma base diferente.

Revisar não é apenas caçar erro de digitação

Durante uma revisão, vale procurar problemas de vários tipos:

Também podemos encontrar duplicações desnecessárias, trechos difíceis de entender, informações sem fonte e regras impossíveis de verificar.

Uma revisão pode ser simples

Nem toda revisão precisa de uma reunião formal ou de um documento enorme.

Para um projeto pequeno, uma lista de perguntas já ajuda bastante:

Checklist significa uma lista de verificação: perguntas ou itens que ajudam a lembrar o que precisa ser observado.

Revisão humana e análise automática não enxergam as mesmas coisas

Uma pessoa consegue perceber que “R$ 30,00” e “R$ 40,00” representam uma contradição de negócio porque entende o contexto.

Uma ferramenta de análise estática pode examinar código sem executá-lo e apontar outros sinais, como problemas de sintaxe, trechos nunca usados, padrões perigosos ou violações de regras de código.

Mais adiante, quando surgir uma necessidade concreta, poderemos usar ferramentas desse tipo. Aqui o mais importante é entender o raciocínio.

Nem tudo que parece estranho é um defeito

Considere este código:

def calcular_subtotal(preco, quantidade):
    resultado = preco * quantidade
    valor = resultado
    return valor

Ele pode produzir o resultado correto. Ainda assim, a variável valor não acrescenta informação e pode ser eliminada.

Uma revisão também pode melhorar clareza, simplicidade e manutenibilidade, mesmo quando não encontramos uma falha funcional.

Prática · estático ou dinâmico?

Agora o problema muda novamente

A revisão estática ajudou a encontrar contradições, omissões e diferenças entre regra e código.

Depois que esses pontos forem esclarecidos, ainda precisaremos executar o sistema.

Só que aparece uma nova dificuldade: para uma quantidade inteira, poderíamos testar 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 — e também 0, -1, -2, 11, 12, 100...