◇ OpenCyber Academy
Engenharia · Capítulo 40 · Português

Capítulo 40 — Laboratório de verificação II

Ensino gratuito e aberto para quem deseja proteger pessoas e tecnologias. Não é preciso criar uma conta para estudar ou consultar as respostas.

Capítulo 40 — Laboratório de verificação II

Mapa da aula

Aula 40 publicada. Mapa, exemplo, EX118.

flowchart TD
  N0["40.1 Verificação de regressão"]
  N1["40.2 Verificação sob carga"]
  N2["Laboratório — Tempos de veredito durante um dia de c"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3
  N3 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX118"]

Desenho lógico

flowchart LR
  N0["40.1 Verificação de regressão"]
  N1["40.2 Verificação sob carga"]
  N2["Laboratório — Tempos de veredito durante um dia de c"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3 --> Q["EX118"]
[40.1 Verificação de regressão]
    |
    v
[40.2 Verificação sob carga]
    |
    v
[Laboratório — Tempos de veredito durante um dia de c]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX118]

Objetivos de aprendizagem

Você vai (1) reverificar após mudanças; (2) verificar os controles sob carga realista; (3) relatar os resultados da verificação com seus limites.

40.1 Verificação de regressão

Depois de um ano de mudanças, incluindo a nova orientação, os vereditos automáticos e a exigência de chamados para fornecedores, Aiko executa de novo a tabela de verificação do capítulo 30 e acrescenta testes para os novos requisitos. A verificação de regressão confere se as mudanças não quebraram algo que funcionava antes. Aparece uma regressão: o recurso de veredito automático envia o retorno sem o link para a orientação acrescentado depois do teste de usabilidade. A equipe de TI restaura o link e o novo teste passa. Sem a tabela, a regressão poderia ter passado despercebida por meses, enquanto os funcionários perdiam uma orientação útil.

40.2 Verificação sob carga

Aiko verifica o serviço de triagem sob carga realista, reproduzindo um dia de campanha sintético com trezentos reportes em duas horas. Ela mede o tempo entre o reporte e o veredito com o agrupamento e os vereditos automáticos ativados. O laboratório resume o resultado: a maioria dos reportes recebe veredito em minutos, porque eles se agrupam em poucos e-mails distintos, mas um punhado de reportes únicos espera mais tempo por um analista. O nível de serviço de uma hora para noventa por cento é atendido, e o reporte mais lento espera menos de duas horas.

Laboratório — Tempos de veredito durante um dia de campanha sintético

# Verdict times for a synthetic campaign day: 300 reports in 2 hours.
import random
r = random.Random(7)
times = []
for i in range(300):
    if i < 270: times.append(r.uniform(1, 12))      # clustered, automatic verdicts
    elif i < 273: times.append(r.uniform(61, 104))  # unique reports waiting for analyst
    else: times.append(r.uniform(15, 58))           # unique reports handled within the hour
times[-1] = 104.0
within = sum(t <= 60 for t in times) / len(times)
print(f"within 60 min: {within:.0%}; slowest {max(times):.0f} min")

Execute com python3 lab_load.py. Saída verificada:

within 60 min: 99%; slowest 104 min

40.3 Relatar os limites

Aiko relata os resultados com seus limites. A reprodução usou reportes sintéticos e não pôde incluir a confusão de uma campanha real, como funcionários ligando para o service desk. Os testes de carga foram executados fora do expediente, por isso não competiram com outros sistemas. Ela recomenda uma verificação ao vivo durante a próxima campanha real. O relatório de verificação declara com clareza o que foi testado, o que não foi e o que continua incerto, o que permite ao comitê de riscos julgar quanta confiança depositar no serviço.

Exemplo resolvido

Aiko executa de novo a verificação e encontra uma regressão de link ausente, testa a triagem sob carga com uma campanha sintética e relata os limites abertamente.

Caso sintético. Os testes são sintéticos.

Erros e limites

Reproduções sintéticas não capturam a confusão real. Verificações ao vivo são mais difíceis de controlar.

Exercícios

Síntese

A reverificação detecta regressões, os testes de carga verificam a escala e limites honestos orientam a confiança.

Continue estudando — aula 40 (capítulo 40 de 50)

← Capítulo 39 · Índice das aulas · Capítulo 41 →

Continue para a próxima aula já escrita.