Capítulo 46 — Projeto final de engenharia II

Capítulo 46 — Projeto final de engenharia II

Mapa da aula

Aula 46 publicada. Mapa, exemplo, EX136.

flowchart TD
  N0["46.1 Implementação no espelho"]
  N1["46.2 O assurance case"]
  N2["46.3 Mudanças de escopo tardias"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3
  N3 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX136"]

Desenho lógico

flowchart LR
  N0["46.1 Implementação no espelho"]
  N1["46.2 O assurance case"]
  N2["46.3 Mudanças de escopo tardias"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3 --> Q["EX136"]

[46.1 Implementação no espelho]
    |
    v
[46.2 O assurance case]
    |
    v
[46.3 Mudanças de escopo tardias]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX136]

Objetivos de aprendizagem

Você vai (1) implementar e verificar a fatia do projeto final num espelho de laboratório; (2) construir um assurance case que ligue afirmações a evidências; (3) gerenciar mudanças de escopo no fim de um projeto.

46.1 Implementação no espelho

Sofia implementa a fatia do projeto final num espelho de laboratório do back-office, usando validadores e passageiros sintéticos. Ela configura a ingestão com certificados de dispositivo, detecção de replay e carga de tarifas assinadas; o cálculo das tarifas com tarifas versionadas; e o tratamento das contestações com dupla aprovação. Ela roda de novo as suítes de verificação dos capítulos 30 e 40, adaptadas ao novo projeto, e acrescenta testes para os achados da revisão independente. Todos os requisitos de segurança no escopo agora têm testes aprovados, com duas exceções documentadas em que o laboratório não consegue reproduzir o hardware de produção.

46.2 O assurance case

Um assurance case é um argumento estruturado de que um sistema atende às suas afirmações de segurança, sustentado por evidências. A afirmação principal de Sofia é que a fatia do back-office protege a integridade das tarifas e a privacidade dos passageiros dentro do escopo declarado. As subafirmações cobrem entradas autênticas, cálculo correto, contestações controladas e dados protegidos. Cada subafirmação se liga a requisitos, controles, resultados de verificação e achados de revisão. O NIST SP 800-160 Vol. 1 Rev. 1 enfatiza a garantia (assurance) como confiança baseada em evidências. O case torna as lacunas visíveis: uma subafirmação depende apenas da revisão de projeto, então ela acrescenta um teste.

46.3 Mudanças de escopo tardias

Dois meses antes da entrega, a Corvia lhe pede que acrescente os reembolsos ao projeto final. Sofia avalia a mudança: os reembolsos exigiriam novos requisitos, análise de ameaças e testes, colocando em risco a qualidade de todo o resto. Ela propõe, em vez disso, documentar como a arquitetura se estenderia aos reembolsos, sem implementá-los, e listar isso como trabalho futuro. Seu supervisor e Daniel concordam. Gerenciar o escopo significa proteger a qualidade do trabalho já assumido; dizer não com uma alternativa fundamentada é uma habilidade profissional, e não uma falta de cooperação.

Exemplo resolvido

Sofia implementa a fatia num espelho de laboratório com testes aprovados, constrói um assurance case que expõe uma subafirmação sem testes e recusa o acréscimo tardio dos reembolsos com um plano de extensão documentado.

Caso sintético. O espelho de laboratório, o assurance case e o pedido são sintéticos; o SP 800-160 Vol. 1 Rev. 1 é real.

Erros e limites

Assurance cases podem dar falsa confiança se as evidências forem fracas. As exceções do laboratório precisam ser validadas depois em produção.

Exercícios

• EX136 — Exceções do laboratório. Quantos requisitos não puderam ser testados no laboratório, e por quê? Rubrica: 3 = dois, porque o laboratório não consegue reproduzir o hardware de produção;; 2 = contagem e motivo;; 1 = vago;; 0 = nenhuma.

• EX137 — Lacuna do assurance case. Que lacuna o assurance case revelou? Rubrica: 3 = uma subafirmação dependia apenas da revisão de projeto; foi acrescentado um teste;; 2 = só revisão;; 1 = vago;; 0 = nenhuma.

• EX138 — Resposta ao escopo. Como Sofia respondeu ao pedido tardio dos reembolsos? Rubrica: 3 = propôs documentar a extensão como trabalho futuro em vez de implementá-la;; 2 = alternativa;; 1 = aceitou;; 0 = nenhuma.

Síntese

Um projeto final se torna convincente quando implementação, verificação e um caso de garantia ligam cada afirmação a evidências dentro de um escopo protegido.

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

← Capítulo 45 · Índice das aulas · Capítulo 47 →

Continue para a próxima aula já escrita.