Specification by Example y BDD

← SE-157 — Especificación informal, semiformal y formal · ↑ Parte 13 · 📚 Índice completo · 🌐 Portal · SE-159 — Contratos, invariantes y diseño por contrato →

Prerrequisitos

• Haber completado o diagnosticado SE-157 y poder explicar qué evidencia produjo.
• Manejar archivos de texto, rutas y control de versiones a nivel básico.
• Disponer de editor YAML/JSON y validador local opcional.

Problema auténtico

Un equipo que trabaja en una comercio responsable debe decidir sobre Specification by Example y BDD. Tiene información incompleta, restricciones de tiempo y personas afectadas por una decisión incorrecta. El reto no es repetir definiciones: es convertir el tema en un resultado revisable, distinguir observación de supuesto y conservar evidencia para que otra persona pueda continuar o cuestionar el trabajo.

Objetivos observables

Al terminar podrás:

1. explicar Specification y by con un ejemplo y un contraejemplo;
2. comparar al menos dos opciones usando evidencia, riesgo, costo y reversibilidad;
3. producir el artefacto contrato versionado y ejemplos verificables para que otra persona pueda revisarlo;
4. diagnosticar el fallo «cambiar una interfaz sin analizar consumidores ni compatibilidad» sin ocultar incertidumbre;
5. transferir la decisión a otra plataforma o dominio sin depender de una marca.

Temas y por qué importan

Mapa conceptual

flowchart LR
    P["Problema: Specification by Example y BDD"] --> M["Modelo: Specification"]
    M --> D["Decisión: by"]
    D --> E["Evidencia: Example"]
    E --> R["Revisión: BDD"]
    R -->|nueva información| M

El diagrama se lee de izquierda a derecha: el problema obliga a construir un modelo; el modelo permite decidir; la decisión solo se sostiene con evidencia; y la revisión devuelve nueva información al modelo. No es una secuencia lineal de entrega, sino un ciclo de aprendizaje aplicado a Specification by Example y BDD.

Conceptos y decisiones

Una especificación reduce interpretaciones permitidas mediante vocabulario, modelos, invariantes y ejemplos; un contrato además define obligaciones observables entre partes.

La pregunta rectora de esta parte es: ¿qué comportamiento se promete, qué queda fuera y cómo evoluciona sin romper consumidores? La respuesta debe apoyarse en esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual.

1. Specification: modelo

En esta clase, Specification se estudia como modelo. Su función es delimita qué entidad, estado o relación se estudia y qué queda fuera. Debe conectarse con la pregunta «¿qué comportamiento se promete, qué queda fuera y cómo evoluciona sin romper consumidores?» y demostrarse mediante esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual. Un tratamiento superficial solo lo nombraría; un tratamiento útil identifica precondiciones, transición, resultado observable y caso en que la explicación deja de sostenerse. Aplica esa secuencia a Specification by Example y BDD, registra los supuestos y explica qué decisión concreta cambia al comprenderla.

2. By: mecanismo

En esta clase, by se estudia como mecanismo. Su función es explica la cadena causal: qué entrada cambia qué estado y mediante qué regla. Debe conectarse con la pregunta «¿qué comportamiento se promete, qué queda fuera y cómo evoluciona sin romper consumidores?» y demostrarse mediante esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual. Un tratamiento superficial solo lo nombraría; un tratamiento útil identifica precondiciones, transición, resultado observable y caso en que la explicación deja de sostenerse. Aplica esa secuencia a Specification by Example y BDD, registra los supuestos y explica qué decisión concreta cambia al comprenderla.

3. Example: evidencia

En esta clase, Example se estudia como evidencia. Su función es define la señal observable que permite contrastar el modelo sin confundir correlación con causa. Debe conectarse con la pregunta «¿qué comportamiento se promete, qué queda fuera y cómo evoluciona sin romper consumidores?» y demostrarse mediante esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual. Un tratamiento superficial solo lo nombraría; un tratamiento útil identifica precondiciones, transición, resultado observable y caso en que la explicación deja de sostenerse. Aplica esa secuencia a Specification by Example y BDD, registra los supuestos y explica qué decisión concreta cambia al comprenderla.

4. BDD: decisión

En esta clase, BDD se estudia como decisión. Su función es convierte el conocimiento en opciones comparables, límites, riesgos y condiciones de reversión. Debe conectarse con la pregunta «¿qué comportamiento se promete, qué queda fuera y cómo evoluciona sin romper consumidores?» y demostrarse mediante esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual. Un tratamiento superficial solo lo nombraría; un tratamiento útil identifica precondiciones, transición, resultado observable y caso en que la explicación deja de sostenerse. Aplica esa secuencia a Specification by Example y BDD, registra los supuestos y explica qué decisión concreta cambia al comprenderla.

La regla de trabajo es conservar trazabilidad: problema → supuesto → opción → decisión → evidencia → revisión. Una solución técnicamente posible puede seguir siendo inadecuada si excluye personas, desplaza riesgos o no puede mantenerse. La herramienta concreta se elige después de fijar el comportamiento y el criterio de aceptación.

Definiciones de trabajo

• Specification: concepto usado aquí como modelo; se acepta solo si puede observarse o justificarse mediante esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual.
• By: concepto usado aquí como mecanismo; se acepta solo si puede observarse o justificarse mediante esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual.
• Example: concepto usado aquí como evidencia; se acepta solo si puede observarse o justificarse mediante esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual.
• BDD: concepto usado aquí como decisión; se acepta solo si puede observarse o justificarse mediante esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual.

Estas definiciones son operativas para el borrador: deberán sustituirse o precisarse con terminología de las fuentes de la clase durante la revisión cualitativa. No son un glosario normativo.

Ejemplo mínimo

Registra una sola decisión sobre Specification by Example y BDD:

El valor del ejemplo no está en “tener razón”, sino en que el razonamiento pueda ser inspeccionado.

Ejemplo profesional

En la comercio responsable, el equipo prepara un cambio relacionado con Specification by Example y BDD. Parte de esta pregunta: ¿qué comportamiento se promete, qué queda fuera y cómo evoluciona sin romper consumidores? Antes de implementarlo, registra personas afectadas, estados normales y degradados, datos utilizados, costo de reversión y señales de éxito. Dos opciones se comparan con la misma tabla y se contrastan usando esquema válido, ejemplos positivos y negativos, compatibilidad y prueba contractual. La alternativa ganadora queda condicionada a una prueba pequeña. La revisión incluye a producto, ingeniería y una persona que no participó en la propuesta. El resultado se archiva como contract.yaml y enlaza la evidencia, no solo la conclusión.

Práctica guiada

1. Crea work/SE-158/ sin copiar datos personales ni secretos.
2. Formula el problema en una frase que incluya actor, necesidad y consecuencia.
3. Separa en una tabla hechos observados, inferencias, incógnitas y restricciones.
4. Propón dos opciones y una opción de no actuar; explicita costos y riesgos.
5. Construye el contrato versionado y ejemplos verificables con los archivos indicados abajo.
6. Introduce deliberadamente el fallo controlado y registra síntomas antes de corregirlo.
7. Pide una revisión: la otra persona debe reconstruir la decisión solo con el artefacto.
8. Actualiza la conclusión y anota qué evidencia cambiaría la decisión.

Ejercicios

1. Fundamental: define Specification y by con un ejemplo propio, un contraejemplo y un criterio que permita distinguirlos.
2. Aplicado: resuelve el caso de la comercio responsable, compara tres opciones y entrega contract.yaml con trazabilidad completa.
3. Avanzado: cambia una restricción crítica —plataforma, escala, conectividad, regulación o capacidad del equipo— y demuestra qué partes de la decisión se conservan y cuáles deben revisarse.

Reto verificable

Entrega el contrato versionado y ejemplos verificables de forma que una persona que no participó en la clase pueda reconstruir problema, supuestos, opciones, decisión y evidencia. El reto se acepta únicamente si esa persona puede señalar una condición concreta que cambiaría la decisión y reproducir al menos una comprobación sin pedir contexto oral adicional.

Fallo controlado y diagnóstico

Provoca de forma segura este fallo: cambiar una interfaz sin analizar consumidores ni compatibilidad. No lo ejecutes sobre producción ni datos reales. Captura la decisión inicial, el síntoma observable y la primera hipótesis. Después reduce el caso, busca evidencia que pueda refutar tu hipótesis y corrige la causa, no solo el síntoma. Cierra con una medida preventiva y un procedimiento de recuperación.

Entorno y archivos clave

Entorno de referencia: editor YAML/JSON y validador local opcional. La actividad es documental y portable; cualquier comando adicional debe declarar sistema operativo y versión.

work/SE-158/
├── README.md
│   ├── contract.yaml
│   ├── examples.json
│   ├── compatibility.md
├── activity.yaml
└── rubric.json

README.md explica cómo reproducir la actividad; contract.yaml contiene el resultado principal; los demás archivos separan evidencia y revisión. activity.yaml y rubric.json son contratos generados junto a esta guía.

Seguridad, ética y accesibilidad

• usa datos sintéticos o anonimizados y aplica minimización;
• no incluyas tokens, rutas privadas ni información personal en evidencias;
• identifica personas que reciben beneficios, cargas o riesgo de exclusión;
• ofrece una alternativa textual a diagramas y no uses color como única señal;
• verifica navegación por teclado y lenguaje comprensible cuando exista interfaz;
• detén la práctica si requiere acceso no autorizado o puede afectar sistemas reales.

Transferencia

Repite la decisión en un segundo contexto: cambia la comercio responsable por otro de los dominios persistentes, o cambia Windows por Linux/macOS cuando aplique. Conserva problema, criterios y evidencia; modifica únicamente los supuestos dependientes del entorno. Explica por escrito qué conocimiento fue transferible y qué parte pertenecía a la herramienta.

Evaluación y evidencia

Entrega el directorio work/SE-158/ y una reflexión de máximo 300 palabras. La rúbrica machine-readable está en rubric.json; no se aprueba solo por completar pasos.

Fuentes

Fuentes verificadas el 2026-09-30:

• ISO/IEC/IEEE 29148:2018 Requirements Engineering — ISO. https://www.iso.org/standard/72089.html — se usa para contrastar vocabulario, límites y criterios aplicables.
• OpenAPI Specification — OpenAPI Initiative. https://spec.openapis.org/oas/latest.html — se usa para contrastar vocabulario, límites y criterios aplicables.
• AsyncAPI Specification — AsyncAPI Initiative. https://www.asyncapi.com/docs/reference/specification/latest — se usa para contrastar vocabulario, límites y criterios aplicables.
• GraphQL Specification — GraphQL Foundation. https://spec.graphql.org/ — se usa para contrastar vocabulario, límites y criterios aplicables.

Preguntas frecuentes

¿Basta con definir los términos del título?

No. Debes mostrar cómo se relacionan, qué mecanismo explican, qué evidencia los contrasta y qué decisión profesional cambia gracias a esa comprensión.

¿La herramienta recomendada es obligatoria?

No. El entorno de referencia hace reproducible la práctica, pero puedes usar otro si documentas equivalencias, versiones, diferencias y procedimiento de recuperación.

¿Completar los archivos aprueba automáticamente la clase?

No. Los archivos son contenedores de evidencia. La aprobación depende de la calidad del razonamiento, la reproducibilidad, el diagnóstico y la revisión contra las fuentes.

Límites y siguiente paso

Esta guía enseña a razonar y producir evidencia sobre Specification by Example y BDD; no certifica dominio profesional ni valida una implementación productiva. El siguiente enlace curricular es SE-159. Si la actividad necesita código o infraestructura real, debe añadir pruebas y documentar versiones, limpieza, resultados y recuperación antes de afirmar que fue ejecutada.

← SE-157 — Especificación informal, semiformal y formal · ↑ Parte 13 · 📚 Índice completo · 🌐 Portal · SE-159 — Contratos, invariantes y diseño por contrato →