Capítulo 30 — Laboratório de verificação I

Mapa da aula

Aula 30 publicada. Mapa, exemplo, EX088.

flowchart TD
  N0["30.1 Planejar a verificação"]
  N1["30.2 Evidências"]
  N2["30.3 Achados"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3
  N3 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX088"]

Desenho lógico

flowchart LR
  N0["30.1 Planejar a verificação"]
  N1["30.2 Evidências"]
  N2["30.3 Achados"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3 --> Q["EX088"]

[30.1 Planejar a verificação]
    |
    v
[30.2 Evidências]
    |
    v
[30.3 Achados]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX088]

Objetivos de aprendizagem

Você vai (1) verificar que os controles operam como descritos; (2) coletar e registrar evidências corretamente; (3) relatar os achados da verificação.

30.1 Planejar a verificação

No laboratório de verificação, Nadia testa o broker de acesso de fornecedores contra as descrições dos controles. Para cada controle, escreve um passo de teste, o resultado esperado e a evidência a guardar. Confere que um fornecedor sem autenticação multifator não consegue entrar, que uma sessão sem aprovação não começa, que as sessões terminam depois de quatro horas e que as gravações aparecem no arquivo. Ela usa uma conta de fornecedor de teste numa cópia de laboratório do broker, para não perturbar a produção. Cada resultado esperado é escrito antes de o teste rodar, para que a aprovação não seja decidida depois de ver o resultado.

30.2 Evidências

Para cada teste, Nadia registra a data, o testador, os passos, o resultado e os artefatos de apoio, como capturas de tela e trechos de log. Nomeia os arquivos de forma consistente e os guarda onde não podem ser editados depois de arquivados. Ela aprende que a evidência precisa permitir que outra pessoa entenda e repita o teste. Um auditor não aceita a afirmação de que um teste passou sem ver o que foi feito e o que foi observado, e um futuro engenheiro vai precisar do mesmo detalhe. O Prof. Brenner pergunta se uma captura de tela bastaria, e Nadia acrescenta trechos de log, porque uma captura não mostra o que aconteceu antes ou depois dela.

30.3 Achados

A maioria dos testes passa, mas um falha: uma sessão aprovada para um dispositivo consegue alcançar um segundo dispositivo no mesmo segmento de rede. Nadia registra o achado com sua gravidade, a evidência e uma correção recomendada: restringir as rotas do jump host por sessão, o que fecha o caminho até o segundo dispositivo sem atrasar o trabalho aprovado. Ela o relata à equipe de implementação, que corrige o problema e pede um novo teste. O novo teste passa e é registrado. Ela aprende que a verificação é valiosa justamente porque encontra o que os projetistas supunham que não aconteceria.

Exemplo resolvido

Nadia verifica quatro controles do broker numa cópia de laboratório, registra evidências repetíveis e encontra e testa de novo uma falha de restrição de rotas.

Caso sintético. O broker e os testes são sintéticos.

Erros e limites

As cópias de laboratório diferem da produção. Os testes cobrem só os casos planejados.

Exercícios

• EX088 — Cópia de laboratório. Por que testar numa cópia de laboratório?
  Mostrar critérios de avaliação

  Rubrica: 3 = para não perturbar a produção;; 2 = segurança;; 1 = vago;; 0 = nenhuma.
• EX089 — Campos da evidência. O que Nadia registra para cada teste?
  Mostrar critérios de avaliação

  Rubrica: 3 = data, testador, passos, resultado e artefatos;; 2 = evidência;; 1 = vago;; 0 = nenhuma.
• EX090 — Teste que falhou. Que teste falhou?
  Mostrar critérios de avaliação

  Rubrica: 3 = uma sessão aprovada conseguia alcançar um segundo dispositivo;; 2 = roteamento;; 1 = vago;; 0 = nenhuma.

Síntese

A verificação com evidências repetíveis encontra falhas que os projetistas tinham descartado por premissa.