Capítulo 48 — Dossiê de evidências

Capítulo 48 — Dossiê de evidências

Mapa da aula

Aula 48 publicada. Mapa, exemplo, EX095.

flowchart TD
  N0["48.1 O que é o dossiê"]
  N1["48.2 Proveniência"]
  N2["48.3 Sensibilidade"]
  N3["48.4 Verificação de consistência"]
  N4["48.6 Atividade prática"]
  N5["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5
  N5 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX095"]

Desenho lógico

flowchart LR
  N0["48.1 O que é o dossiê"]
  N1["48.2 Proveniência"]
  N2["48.3 Sensibilidade"]
  N3["48.4 Verificação de consistência"]
  N4["48.6 Atividade prática"]
  N5["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX095"]

[48.1 O que é o dossiê]
    |
    v
[48.2 Proveniência]
    |
    v
[48.3 Sensibilidade]
    |
    v
[48.4 Verificação de consistência]
    |
    v
[48.6 Atividade prática]
    |
    v
[Síntese do capítulo]
    |
    v
[Exemplo resolvido] --> [Exercício EX095]

Objetivos de aprendizagem e conexão

Ao fim deste capítulo você será capaz de (1) montar um dossiê de evidências de engenharia que apoie as alegações do projeto final; (2) organizar as evidências por alegação, com proveniência; (3) proteger as evidências sensíveis mantendo-as revisáveis; e (4) conferir a consistência do dossiê antes da entrega. Ele reúne os capítulos 44 a 47 e prepara o trabalho de conclusão de engenharia.

48.1 O que é o dossiê

O dossiê de evidências é a coleção de artefatos que apoia o caso de garantia: requisitos e rastreabilidade; documentos de projeto e registros de decisão; análises (modelos de ameaças, árvores de falhas, desempenho, confiabilidade); registros de implementação (revisão do código-fonte, SBOM, proveniência do build); resultados de verificação e validação; constatações de revisão e respostas; relatórios de ensaios; documentos operacionais; e o registro de riscos residuais com os donos. Organize-o por alegação, e não por data: um revisor deve conseguir partir de uma alegação e encontrar sua evidência em dois cliques. Para o TMRP, as alegações do dossiê são C1 a C4.

48.2 Proveniência

Toda evidência declara o que é, quem a produziu, quando, a partir de qual versão do sistema e com quais ferramentas. Os números do trabalho de conclusão precisam ser rastreáveis até um arquivo de resultados (compare com a verificação de proveniência do livro de mestrado, no seu Capítulo 7). Use hashes de conteúdo para os arquivos de resultados e registre-os num índice, como a cadeia de hashes do Capítulo 13 faz para os logs. Para o TMRP, cada entrada do índice do dossiê traz uma versão, como a versão do gateway ou a data do ensaio, e os primeiros caracteres de seu hash.

48.3 Sensibilidade

Dossiês sobre infraestrutura contêm detalhes sensíveis. Mantenha uma versão completa e restrita para os revisores autorizados e uma versão com supressões para públicos mais amplos, e registre o que foi suprimido e por quê. Em trabalhos acadêmicos com casos sintéticos, a sensibilidade é menor — mas pratique a disciplina. Para o TMRP, a versão restrita incluiria as configurações dos gateways e os procedimentos de gestão de chaves, enquanto a versão com supressões descreve a arquitetura no nível de zonas e condutos. O registro de supressões lista cada item removido e o motivo, de modo que um revisor da versão com supressões sabe o que foi retido e pode pedir acesso pelo caminho adequado.

48.4 Verificação de consistência

Antes da entrega: toda alegação tem evidência; todo número do trabalho de conclusão coincide com sua fonte; as situações concordam entre os documentos (nada de "aprovado" num e "reprovado" noutro — a constatação F1 do Capítulo 45); os riscos residuais têm donos; e todas as constatações de revisão estão encerradas ou encaminhadas. O dossiê do TMRP falhou nessa verificação uma vez, quando C2 citava o T3 como aprovado enquanto a matriz ainda o mostrava como reprovado. A correção foi registrar o novo teste na v2 como T3b e atualizar todos os documentos que se referiam a ele, de modo que o índice agora mostra a mesma situação em toda parte.

48.5 Exemplo resolvido: trecho do índice do dossiê (sintético)

(Os hashes são marcadores ilustrativos para o caso sintético.)

48.6 Atividade prática

Monte o índice do seu dossiê com hashes de conteúdo reais dos seus arquivos de resultados (hashlib.sha256) e execute a verificação de consistência da §48.4. Use o script do EX095 para calcular os hashes e guarde o índice sob controle de versões, para que seu histórico faça parte das evidências. Depois execute a verificação de consistência contra o rascunho do seu trabalho de conclusão. Todo número do rascunho deve aparecer num arquivo de resultados listado no índice, e toda situação deve coincidir. Corrija qualquer divergência primeiro no documento de origem e depois gere o índice de novo.

48.7 Erros comuns e limites

• Dossiês organizados por data ou autor, e não por alegação.
• Números do trabalho de conclusão sem arquivo de origem.
• Situações inconsistentes entre documentos.
• Supressões sem registro.

O índice do TMRP evita o primeiro erro organizando as evidências por alegação, e seu registro de C3 como não atendido impede que o terceiro apareça. Um registro de supressões acompanha a versão compartilhada. Todo número do trabalho de conclusão é rastreável até um arquivo de resultados listado no índice, e a versão compartilhada traz um registro do que foi suprimido e por quê.

Exercícios — capítulo 48

EX095 — Script de índice. Objetivo: automatizar a proveniência. Entradas: uma pasta de resultados. Passos: escreva um script com a biblioteca padrão que percorra a pasta, calcule o SHA-256 de cada arquivo e escreva um índice CSV com caminho, tamanho, hash e horário de modificação; explique por que o horário de modificação é uma evidência fraca. Evidência esperada: script e explicação. Rubrica: 3 = script funcional, explicação (o mtime é facilmente alterado; hash mais commit no controle de versões é mais forte); 2 = sem explicação; 1 = não funciona; 0 = nada.

EX096 — Auditoria de consistência. Objetivo: pegar inconsistências. Entradas: o trecho da §48.5 e uma frase do resumo, "Todos os requisitos foram verificados e o sistema restaura a operação remota em até 8 horas". Passos: identifique a inconsistência e reescreva a frase. Evidência esperada: reescrita. Rubrica: 3 = identifica a contradição com C3, reescrita precisa e ainda positiva onde justificado; 2 = reescrita vaga; 1 = não a percebe; 0 = nada.

Síntese do capítulo

O dossiê é o corpo de evidências, organizado por alegação e com proveniência rastreada, por trás do caso de garantia. Mantenha versões restrita e com supressões, com um registro das supressões, e confira a consistência de cada alegação, número e situação antes que qualquer outra pessoa o faça.

Continue estudando — capítulo 48 de 50

← Capítulo 47 · Índice de capítulos do curso · Capítulo 49 →

Siga para a próxima lição escrita.