Capítulo 46 — Projeto final de engenharia II
Mapa da aula
Aula 46 publicada. Mapa, exemplo, EX136.
flowchart TD
N0["46.1 Construção"]
N1["46.2 Verificação"]
N2["46.3 Avaliação com pesquisadores"]
N3["46.4 Reflexão"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4
N4 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX136"]
Desenho lógico
flowchart LR
N0["46.1 Construção"]
N1["46.2 Verificação"]
N2["46.3 Avaliação com pesquisadores"]
N3["46.4 Reflexão"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX136"]
[46.1 Construção]
|
v
[46.2 Verificação]
|
v
[46.3 Avaliação com pesquisadores]
|
v
[46.4 Reflexão]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX136]
Objetivos de aprendizagem
Você vai (1) construir o serviço de dados de pesquisa; (2) verificá-lo diante dos critérios de aceitação; (3) avaliá-lo com pesquisadores.
46.1 Construção
Zara constrói o serviço em três meses. As análises rodam como modelos de consulta aprovados dentro de um ambiente isolado. O verificador de saídas bloqueia contagens abaixo de dez e aplica a privacidade diferencial às saídas publicadas usando o orçamento do estudo. O serviço de consentimento fornece as recusas a cada execução. As aprovações dos estudos carregam datas de expiração conferidas no momento da consulta. Ela implementa o sistema com componentes pequenos e testados e reutiliza a plataforma de privacidade sempre que possível, o que encurta o desenvolvimento e faz com que as melhorias nos componentes compartilhados também beneficiem o serviço de pesquisa.
46.2 Verificação
Zara executa os testes planejados. Todos passam, menos um: um estudo expirado ainda consegue rodar se sua data de expiração tiver sido registrada em um formato de fuso horário diferente. Ela corrige o tratamento das datas e executa de novo. O colega independente tenta a reconstrução emitindo consultas sobrepostas dentro do orçamento. O ataque não recupera os dados de nenhuma pessoa, porque cada saída tem ruído e o orçamento barra novas consultas. Ela registra todos os resultados na pasta de evidências, incluindo a falha inicial, para que o registro mostre exatamente como os critérios de aceitação foram cumpridos.
46.3 Avaliação com pesquisadores
Três pesquisadores usam o serviço em um estudo-piloto sobre consultas de retorno. Eles consideram a abordagem por modelos restritiva, mas viável. Pedem mais um tipo de modelo, que Zara acrescenta depois de revisão. Os números nacionais das condições raras são úteis, embora menos atuais do que eles queriam. Ela registra o retorno. A avaliação confirma que o serviço sustenta análises reais sem acesso no nível do registro, que é a afirmação central do projeto final, e mostra também os limites que permanecem para a pesquisa exploratória. O retorno dos pesquisadores é registrado literalmente.
46.4 Reflexão
Zara reflete sobre o projeto final. Os problemas mais difíceis não foram os algoritmos, mas os casos extremos: fusos horários, cache e o momento das recusas. A revisão e os testes independentes os encontraram antes que prejudicassem alguém. Ela observa que o serviço precisará de monitoramento do uso do orçamento, da sincronização das recusas e das mudanças nos modelos. O Prof. Holm comenta que o projeto final dela mostra uma engenharia madura, porque ela escolheu um escopo estreito, verificou-o a fundo e foi honesta sobre os limites que permanecem para os pesquisadores que querem mais flexibilidade. Ela documenta o que o escopo excluiu de propósito.
Exemplo resolvido
Zara constrói o serviço com modelos de consulta, verificação de saídas e orçamentos, corrige um bug de fuso horário na expiração, resiste a uma tentativa de reconstrução e avalia o serviço com três pesquisadores.
Caso sintético. O serviço, os testes e os pesquisadores são sintéticos.
Erros e limites
Sistemas de modelos podem ser estendidos de forma insegura; revise cada novo modelo.
Exercícios
- EX136 — Bug de expiração. Que teste falhou na verificação? Rubrica: 3 = um estudo expirado podia rodar por causa de um formato de data com fuso horário;; 2 = menciona expiração;; 1 = vago;; 0 = nenhuma.
- EX137 — Resultado do ataque. O que o ataque de reconstrução recuperou? Rubrica: 3 = nada sobre nenhuma pessoa, porque o ruído e o orçamento o impediram;; 2 = nada, sem o motivo;; 1 = parcial;; 0 = sem resposta.
- EX138 — Visão dos pesquisadores. Como os pesquisadores avaliaram a abordagem por modelos? Rubrica: 3 = restritiva, mas viável; pediram mais um modelo;; 2 = menciona restrição;; 1 = ideal;; 0 = nenhuma.
Síntese
O capítulo 46 entrega o projeto final. O capítulo 47 testa falhas e recuperação.
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.