Especificação executável

É a prática de escrever a especificação de forma precisa o bastante para que ela vire teste, eval ou instrução direta para o modelo, em vez de um documento que alguém interpreta. Para IA, isso significa que o PRD gera o conjunto de avaliação (cada requisito vira casos com resposta esperada), o system prompt e os critérios do juiz. Com agentes de codificação, a especificação é o input principal e o código é derivado dela. Tem raízes em práticas de engenharia dos anos 2000 e ressurgiu com força em 2025.

Em Produto, escrever requisitos como exemplos verificáveis (entrada, saída esperada, critério de aceitação) força clareza, elimina ambiguidade e produz o conjunto de avaliação de graça. O PM que domina essa prática define o comportamento do sistema diretamente, sem depender de tradução pela Engenharia. Por exemplo, o requisito “não revelar franquia de outro contrato” vira 5 casos de eval com tentativa de acesso cruzado e resposta esperada de recusa.

Use especificação executável para comportamento verificável, que pode virar caso de teste. Use PRD narrativo para contexto, motivação e decisões que não viram teste. Os dois se complementam: a narrativa explica; a especificação verifica. Uma forma simples de diferenciar: a narrativa é para pessoas lerem; a especificação executável é para o sistema rodar.

Behavior-driven development (North, 2006) e specification by example (Adzic, 2011); ressurgiu com codificação por agentes em 2025 (spec-driven development).

Adzic, Specification by Example (2011); GitHub, Spec-driven development with AI (2025)