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

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

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 30 — Laboratório de verificação I

Mapa da aula

Aula 30 publicada. Mapa, exemplo, EX088.

flowchart TD
  N0["30.1 Verificação de requisitos"]
  N1["30.2 Verificação de usabilidade"]
  N2["Laboratório — Resultados da verificação de requisito"]
  N3["30.3 Registrar as evidências"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4
  N4 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX088"]

Desenho lógico

flowchart LR
  N0["30.1 Verificação de requisitos"]
  N1["30.2 Verificação de usabilidade"]
  N2["Laboratório — Resultados da verificação de requisito"]
  N3["30.3 Registrar as evidências"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX088"]
[30.1 Verificação de requisitos]
    |
    v
[30.2 Verificação de usabilidade]
    |
    v
[Laboratório — Resultados da verificação de requisito]
    |
    v
[30.3 Registrar as evidências]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX088]

Objetivos de aprendizagem

Você vai (1) verificar o serviço de reportes em relação aos requisitos; (2) conduzir uma verificação de usabilidade com participantes; (3) registrar as evidências da verificação.

30.1 Verificação de requisitos

No laboratório de verificação, Aiko confere cada requisito do capítulo 21. Envia e-mails de teste sintéticos e os reporta pelo computador e pelo celular, cronometrando os agradecimentos. Confere que o dashboard mostra apenas grupos de vinte pessoas ou mais e que não existe exportação individual. Confirma que os módulos de treinamento dos operadores levam menos de cinco minutos. Cada verificação produz um aprovado ou reprovado, com evidências como carimbos de tempo ou capturas de tela. A verificação transforma requisitos em prova, e não em suposição. Os testes são executados duas vezes, em dias diferentes, para descartar efeitos casuais de horário, e qualquer resultado próximo de um limite é repetido.

30.2 Verificação de usabilidade

Aiko recruta oito funcionários voluntários para executar tarefas: reportar um e-mail pelo celular, encontrar a mensagem de veredito e encontrar a orientação sobre o que reportar. Mede o sucesso e o tempo sem ajudar. Sete têm sucesso em todas as tarefas; um não consegue encontrar a orientação porque ela só está linkada na intranet. Ela acrescenta um link na mensagem de agradecimento. A verificação de usabilidade confere se os requisitos foram atendidos de um jeito que pessoas reais conseguem usar, algo que verificações técnicas sozinhas não podem confirmar. Ela também registra onde os voluntários hesitaram, mesmo quando tiveram sucesso.

Laboratório — Resultados da verificação de requisitos

# Requirement verification results, before and after fixing a notification setting (synthetic).
reqs = ["one-tap mobile report", "thank-you within 1 minute (desktop)", "thank-you within 1 minute (mobile)",
        "dashboard groups >= 20 only", "no individual export", "operator module <= 5 minutes"]
round1 = [True, True, False, True, True, True]
for r, ok in zip(reqs, round1): print(f"{'PASS' if ok else 'FAIL'} {r}")
print(f"round 1: {sum(round1)}/{len(reqs)}; round 2 after notification fix: {len(reqs)}/{len(reqs)}")

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

PASS one-tap mobile report
PASS thank-you within 1 minute (desktop)
FAIL thank-you within 1 minute (mobile)
PASS dashboard groups >= 20 only
PASS no individual export
PASS operator module <= 5 minutes
round 1: 5/6; round 2 after notification fix: 6/6

30.3 Registrar as evidências

Aiko registra os resultados em uma tabela de verificação que liga cada requisito a seu teste, data, resultado e evidência. Um requisito falha no início: no celular, os agradecimentos levam três minutos em um modelo de aparelho, por causa de uma configuração de notificação. A equipe de TI muda a configuração, e o novo teste passa. A tabela se torna evidência para o regulador e linha de base para a reverificação após mudanças futuras. A Profa. Kerr observa que registrar as falhas torna a verificação mais crível. A tabela é guardada com o documento de requisitos e posta sob controle de versão, para que cada versão futura seja verificada com os mesmos testes e qualquer mudança nos resultados possa ser rastreada.

Exemplo resolvido

Aiko verifica os requisitos com testes cronometrados, verifica a usabilidade com oito voluntários, corrige um link de orientação e um atraso de notificação e registra as evidências.

Caso sintético. Os testes e os resultados são sintéticos.

Erros e limites

Voluntários podem ser mais confiantes do que os funcionários típicos. Os modelos de celular variam muito.

Exercícios

Síntese

A verificação comprova que os requisitos são atendidos técnica e utilizavelmente, com evidências registradas, inclusive das falhas.

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

← Capítulo 29 · Índice das aulas · Capítulo 31 →

Continue para a próxima aula já escrita.