Saltar al contenido

Metodología abierta · Propuesta v0.1

Desarrollo Guiado por Contrapruebas DGC

ATDD con el examen sellado.

El Desarrollo Guiado por Contrapruebas (DGC) es una metodología de desarrollo de software con agentes de IA para garantizar que el código generado cumple su especificación sin requerir revisión humana. El agente estudia el temario (la spec), pero no conoce las preguntas del examen (las contrapruebas).

v0.1 · · CC BY-SA 4.0 · por Juanjo Lozano Gómez

Desarrollo Guiado por Contrapruebas: la spec alimenta a dos agentes: uno ensambla el código y otro, al otro lado de un muro, guarda bajo llave las preguntas del examen
  1. La spec: única fuente de verdad
  2. Agente implementador: escribe el código
  3. El muro: no puede ver las contrapruebas
  4. Contrapruebas: el examen sellado

§1 El problema

Escribir código ya no es lo difícil

Los agentes de IA escriben código funcional a gran velocidad. El cuello de botella se ha desplazado: ya no está en escribir el código, sino en saber si es correcto.

Por eso muchos equipos no ven mejoras reales aunque generen más código que nunca: revisarlo todo a mano no escala, y dejar que el agente escriba sus propios tests no sirve como autoridad. El que implementa y el que comprueba comparten la misma interpretación de la tarea, y si la malinterpreta, los tests pasan igual.

Esquema conceptual: con el tiempo, el código generado crece muy deprisa mientras el código verificado con confianza apenas sube. La distancia entre ambos es el cuello de botella. código tiempo → código generado código verificado con confianza el cuello de botella
Esquema conceptual, no son datos medidos.

§2 Qué es DGC en una frase

El Desarrollo Guiado por Contrapruebas es ATDD con el examen sellado: el implementador no ve las pruebas.

El temario

= la spec

Lo que el agente estudia.

El examen

= las contrapruebas

Lo que nunca ve.

§3 Las tres ideas

Todo DGC cabe en tres ideas

  1. La especificación es la única fuente de verdad.

    El sistema se describe como un conjunto de capacidades versionadas, y el código se deriva de ellas. Nadie edita el código a mano.

  2. La verificación es independiente de quien implementa.

    Cada criterio de la spec se comprueba con contrapruebas: ejemplos concretos que decide una persona (los escribe o los aprueba), que se ejecutan contra el sistema desde fuera y que el agente implementador nunca ve.

  3. El trabajo avanza por deltas.

    Cada cambio es un delta tipado (adición, enmienda, derogación, bug, refactor o cimientos) que modifica la spec y sus contrapruebas antes de tocar una sola línea de código.

§4 Quién escribe qué

Tres papeles, tres visiones distintas del sistema

Humano

Escribe
Spec y escenarios. Puede aprobar escenarios que le propone un agente, pero la decisión es suya.
Ve
Todo
No ve
—

Agente verificador

Escribe
Step definitions: el código que ejecuta cada paso de los escenarios
Ve
Spec, contrato y escenarios
No ve
Código del producto

Agente implementador

Escribe
Código del producto y sus tests propios (unitarios, de integración)
Ve
Spec y contrapruebas técnicas visibles
No ve
Contrapruebas funcionales

§5 Estado

Ficha técnica

Versión
0.1
Publicada
Estado
Propuesta · sin validar en producción
Implementación de referencia
MaIA
Licencia
CC BY-SA 4.0
Texto canónico
Español

El Desarrollo Guiado por Contrapruebas se está validando en MaIA, mi software factory de agentes. Los resultados, buenos y malos, se publican en la serie.

§6 El documento completo

El documento completo vive en GitHub

Principios, glosario, ciclo, feedback por niveles, organización del trabajo y adopción en proyectos existentes.

§7 La serie

Desarrollar software en la era de los agentes

Cada artículo se entiende solo y juntos recorren el método entero.

0 de 11 publicados

  1. S01 El problema: el cuello de botella ya no es escribir código, es saber si es correcto Próximamente
  2. S02 SDD, BDD e ingeniería de requisitos: qué es cada cosa, sin mezclarlas Próximamente
  3. S03 Capacidades y deltas: el sistema como suma ordenada de specs Próximamente
  4. S04 Contrapruebas: el examen cuyas preguntas el agente no conoce Próximamente
  5. S05 Quién escribe qué: humano, verificador e implementador Próximamente
  6. S06 Cuando falla: feedback por niveles, quemar contrapruebas y escalado Próximamente
  7. S07 Organización real: tasks, repos y pipeline Próximamente
  8. S08 Operar la factory sin sprints Próximamente
  9. S09 Retirar la revisión humana sin saltos de fe Próximamente
  10. S10 Proyectos que ya existen: caracterización y zonas Próximamente
  11. S11 MaIA en la práctica: resultados después de aplicarlo Próximamente

Newsletter EstrategIA

Sigue la evolución de DGC

Cada dos semanas te cuento cómo evoluciona DGC, lo que aprendo aplicándolo en MaIA y cómo veo el desarrollo de software en la era de la IA.

9.277 suscriptores martes quincenales

EstrategIA Próximo número · martes

En cada número

  1. DGC
  2. MaIA
  3. Mis proyectos
  4. El solopreneur en la era de la IA

j2logo