RecursosVerificação por máquina
A prova

O DDL rodou num banco de verdade antes de chegar a você.

Todo entregável passa por auditoria automática antes de ser salvo. O DDL executa num PostgreSQL descartável, as perguntas de negócio viram query com resultado esperado, e o selo de confiança declara a fração verificada.

O problema

Por que isso existe

Como funciona hoje

O documento de arquitetura chega bonito e ninguém sabe se o script roda. O erro aparece na implantação, de madrugada, quando o custo de voltar atrás é máximo e o autor do documento já não está na sala.

Como funciona com o EVODA

O script executa numa transação revertida durante a auditoria; o selo "DDL validado no PostgreSQL" só aparece se executou sem erro. O teste de aceitação prova que o modelo responde às perguntas do negócio, e a prova sob carga compara alvo e medido por aritmética.

Como funciona

Verificação por máquina por dentro

1O selo

A fração verificada, com peso, nota e motivo.

O selo de confiança é a fração das verificações disponíveis que foi efetivamente feita, nunca uma probabilidade de acerto. Cada fator aparece com peso e situação, e fator que não se aplica sai da média em vez de entrar zerado.

Prova sob carga não medida aparece como não medida. "Ninguém mediu" é diferente de "mediu e passou", e o selo não deixa confundir os dois.

2O que executa

Verificação que roda, não que se declara.

O DDL executa num PostgreSQL descartável, em transação revertida no fim. O teste de aceitação transforma cada requisito de negócio numa query com resultado esperado.

O prompt de execução herda tudo isso: sai com os passos de verificação e o rollback escritos, para quem for aplicar validar do outro lado também.

Por dentro

As verificações, uma a uma

O que roda de verdade antes de um entregável ser salvo.

ddlExecução real em PostgreSQL descartável, dentro de transação revertida
aceiteUma query por requisito de negócio, com resultado esperado declarado
cargaPlano de prova com dados sintéticos e alvos numéricos; a comparação alvo contra medido é aritmética
seloFator não aplicável sai da média; fator não medido aparece como não medido

Comece pelo schema que você já tem

Cole a estrutura, receba os achados mais graves em cerca de dois minutos e decida depois se vale abrir uma consultoria. Sem conta, sem cartão.