Capítulo 46 — Projeto final de engenharia II

Capítulo 46 — Projeto final de engenharia II

Mapa da aula

Aula 46 publicada. Mapa, exemplo, EX080.

flowchart TD
  N0["46.1 Concluindo a construção"]
  N1["46.2 Executando a verificação"]
  N2["46.3 Revisão crítica de projeto"]
  N3["46.5 Atividade prática"]
  N4["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4
  N4 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX080"]

Desenho lógico

flowchart LR
  N0["46.1 Concluindo a construção"]
  N1["46.2 Executando a verificação"]
  N2["46.3 Revisão crítica de projeto"]
  N3["46.5 Atividade prática"]
  N4["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX080"]

[46.1 Concluindo a construção]
    |
    v
[46.2 Executando a verificação]
    |
    v
[46.3 Revisão crítica de projeto]
    |
    v
[46.5 Atividade prática]
    |
    v
[Síntese do capítulo]
    |
    v
[Exemplo resolvido] --> [Exercício EX080]

Objetivos de aprendizagem e conexão

Ao fim deste capítulo você será capaz de (1) concluir a implementação do artefato do projeto final; (2) executar o plano de verificação completo e registrar os resultados; (3) encerrar as constatações da revisão; e (4) ser aprovado numa revisão crítica de projeto com evidências. Ele continua o Capítulo 44 depois da revisão independente e prepara o ensaio de falha e recuperação (Capítulo 47).

46.1 Concluindo a construção

Congele o escopo: novas funcionalidades agora ameaçam a verificação. Encerre primeiro as constatações da revisão que exigem mudanças de projeto. Mantenha o ramo principal sempre aprovado em seus testes; marque com uma tag a versão que entra na verificação final. Para o projeto final do TMRP, o escopo foi congelado depois da revisão independente. O alarme de estação inativa da F2 foi a mudança de projeto feita antes que a versão marcada entrasse na verificação final; todas as ideias posteriores foram para uma lista de trabalhos futuros. A correção do reinício veio depois, como uma correção encontrada pela própria verificação, que é o único tipo de mudança permitido depois do congelamento. O ramo principal permaneceu verde.

46.2 Executando a verificação

Execute o plano de verificação completo contra a versão marcada: testes unitários, de integração, baseados em propriedades e de injeção de falhas (capítulos 30 e 40). Registre cada resultado com a versão, a semente e o ambiente. Para qualquer reprovação: registre, analise, corrija, execute de novo, registre de novo. Não sobrescreva os resultados anteriores; o histórico é evidência. Para o projeto final do TMRP, a falha do receptor em rejeitar repetições depois de um reinício foi registrada, corrigida com a persistência do último contador por estação e testada de novo, com os dois resultados mantidos. A versão marcada foi a testada. Sua semente foi registrada.

46.3 Revisão crítica de projeto

Na revisão crítica de projeto, a banca confere: requisitos atendidos, com evidências; constatações da revisão encerradas ou encaminhadas; riscos residuais declarados e com dono; operações e manutenção preparadas; e prontidão para o ensaio. Leve a matriz de rastreabilidade, os resultados da verificação, o registro de constatações e o caso de garantia. Para o TMRP, a banca viu o resumo da verificação abaixo. Ele inclui a falha no reinício e sua correção, o alarme de estação inativa acrescentado depois da F2 e a demonstração da rotação de chaves. Com a F1 a F3 encerradas ou encaminhadas e R6 relatado com honestidade, a banca pôde tomar uma decisão explícita de prontidão para o ensaio, em vez de uma suposição.

46.4 Exemplo resolvido: resumo da verificação do projeto final (sintético)

A falha no reinício foi encontrada pelo modelo de falhas estendido do EX080 — um retorno direto do investimento no laboratório de verificação.

46.5 Atividade prática

Execute seu plano de verificação completo e produza a tabela-resumo com links para os resultados brutos. Para cada requisito, informe os testes, o resultado e qualquer correção, como no resumo do TMRP. Mantenha os resultados reprovados com suas datas e as correções que se seguiram, e ligue cada linha aos arquivos de resultados brutos, com suas sementes e versões. Se um teste não foi executado, diga isso na tabela em vez de deixá-la em branco. A tabela deve permitir a um revisor rastrear qualquer alegação até um arquivo num único passo.

46.6 Erros comuns e limites

• Acrescentar funcionalidades durante a verificação.
• Sobrescrever resultados reprovados com aprovações posteriores.
• Entrar na revisão crítica de projeto com constatações críticas em aberto.

O projeto final do TMRP evitou esses erros congelando o escopo depois da revisão, mantendo a falha no reinício no registro ao lado de sua aprovação posterior e encerrando a F1 a F3 antes da revisão crítica de projeto. Os resultados reprovados permaneceram no registro com as correções que se seguiram, para que os revisores pudessem ver como cada aprovação foi conquistada. Nenhuma funcionalidade foi acrescentada durante a verificação. As constatações em aberto foram encerradas primeiro.

Exercícios — capítulo 46

EX091 — Projeto da rotação. Objetivo: projetar a rotação de chaves sem perdas. Entradas: §46.4. Passos: descreva passo a passo o protocolo de rotação, incluindo como o receptor sabe qual chave tentar, a janela de sobreposição, o tratamento de falhas e a revogação. Evidência esperada: procedimento. Rubrica: 3 = ID da chave no cabeçalho autenticado, receptor aceita as duas chaves durante a janela, os contadores continuam, reversão se a nova chave falhar, chave antiga revogada e destruída; 2 = sem ID da chave; 1 = "trocar a chave"; 0 = nada.

EX092 — Decisão de prontidão. Objetivo: julgar a prontidão. Entradas: todos os requisitos aprovados, exceto uma constatação menor sobre a documentação e uma constatação maior em aberto de que o limiar do alarme de estação inativa (60 s) produz dois alarmes falsos por dia durante o congestionamento da LTE. Passos: recomende prosseguir / prosseguir com condições / não prosseguir com o ensaio, com o raciocínio. Evidência esperada: recomendação. Rubrica: 3 = prosseguir com condições (estudo de ajuste do limiar durante o ensaio, operadores informados), raciocínio sobre a consequência dos alarmes falsos versus uma perda de dados não detectada; 2 = sem condições; 1 = sem raciocínio; 0 = nada.

Síntese do capítulo

Congele o escopo, encerre as constatações, verifique por completo a versão marcada e mantenha o histórico de reprovações como evidência. Entre na revisão crítica de projeto com rastreabilidade, resultados, constatações e o caso de garantia, e saia dela com uma decisão explícita de prontidão.

Continue estudando — capítulo 46 de 50

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

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