OpenCyber Academy
Engenharia · Capítulo 30 · Português
Código do curso: OCA-118Capítulo 30: OCA-118-C030

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.

Mapa da aula

Aula 30 publicada. Mapa, exemplo, EX088.

flowchart TD
  N0["30.1 Plano de verificação"]
  N1["30.3 Respondendo às falhas"]
  N2["30.4 Relatório de verificação"]
  N0 --> N1 --> N2
  N2 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX088"]

Desenho lógico

flowchart LR
  N0["30.1 Plano de verificação"]
  N1["30.3 Respondendo às falhas"]
  N2["30.4 Relatório de verificação"]
  N0 --> N1 --> N2 --> Q["EX088"]

[30.1 Plano de verificação]
    |
    v
[30.3 Respondendo às falhas]
    |
    v
[30.4 Relatório de verificação]
    |
    v
[Exemplo resolvido] --> [Exercício EX088]

Objetivos de aprendizagem

Você vai (1) verificar se os controles implementados atendem aos requisitos; (2) usar a injeção de erros sintéticos; (3) relatar os resultados da verificação.

30.1 Plano de verificação

O primeiro laboratório de verificação confere se os controles implementados até agora atendem aos requisitos do capítulo 21. Kofi escreve um plano que lista cada requisito, o controle que deveria atendê-lo, o método de teste e o critério de aprovação. Por exemplo, o requisito de completude é verificado retirando um distrito de um extrato sintético de faturamento e confirmando que o controle DQ-04 dispara um alerta em até uma hora. A Profa. Varga revisa o plano antes do início dos testes. Cada teste tem um critério de aprovação acordado de antemão.

30.2 Injeção de erros

Kofi prepara um conjunto de dados sintéticos com erros conhecidos: distritos ausentes, leituras menores que as anteriores, vazões negativas, um sensor travado e um arquivo com colunas trocadas. Ele roda o pipeline e registra quais controles detectam quais erros. Dos doze erros injetados, dez são detectados. O sensor travado escapa porque o detector flat-line precisa de seis horas de valores constantes, e a injeção durou quatro. As colunas trocadas passam porque ambas contêm números plausíveis. Kofi registra as duas falhas no diário de testes, e ambas são investigadas.

30.3 Respondendo às falhas

Sobre o sensor travado, Kofi discute com a operação da rede se quatro horas de vazão constante são suspeitas. Eles concluem que, para adutoras de grande porte, são, e reduzem a janela desses sensores para três horas. Para as colunas trocadas, ele acrescenta uma verificação que compara a distribuição de cada coluna com seu histórico, o que sinalizaria valores invertidos. Ele roda a injeção de novo, e os doze erros são detectados. Cada mudança é registrada no catálogo de controles com seu motivo. Os dois donos aprovam as duas mudanças por escrito, com data.

30.4 Relatório de verificação

O relatório lista os requisitos, os controles, os testes, os resultados antes e depois das mudanças e as limitações restantes. Kofi observa que a verificação mostra que os controles funcionam com erros conhecidos, e não que pegam todos os problemas possíveis. A Profa. Varga explica que a verificação responde se construímos os controles do jeito certo, enquanto a validação, mais adiante no curso, pergunta se construímos os controles certos para as pessoas que dependem do número de perdas. O relatório é arquivado com o catálogo de controles e se torna a linha de base com a qual o segundo laboratório de verificação vai comparar seus próprios resultados.

Exemplo resolvido

Kofi injeta doze erros, detecta dez, encurta a janela flat-line das adutoras grandes, acrescenta verificações de distribuição para colunas trocadas, roda de novo com os doze erros detectados e relata as limitações.

Caso sintético. O laboratório é sintético.

Erros e limites

Passar em testes com erros injetados não prova completude; declare os limites.

Exercícios

Respostas comentadas

EX088. Dez de doze.

EX089. Comparar a distribuição de cada coluna com seu histórico.

EX090. Se construímos os controles do jeito certo.