Probé una herramienta Dusk de código abierto hoy y uno de los resultados me tomó por sorpresa.
Hipófisis, creada para detectar cuando los documentos, las especificaciones y el código dejan de ponerse de acuerdo. Apúntala a un repositorio, indexa las especificaciones y los registros de decisiones, y marca diferencias que contradicen algo que ya se aceptó. La ejecuté contra un diff de prueba que claramente rompía una especificación existente.
No falló la verificación. Pensé que era un error.
No lo era. La herramienta busca un comentario de justificación cerca del cambio, del tipo POR QUÉ, HACK, ese tipo de marcador. Si alguien ya anotó la desviación como deliberada, se enruta de forma distinta que un simple desvío accidental.
Esa es la división real. Una contradicción y una violación no son lo mismo aquí. La especificación dice una cosa, el código dice otra, pero se registra en lugar de fallar si una persona ya explicó la brecha.
La especificación se escribe e indexa, el código se desvía, el diff pasa por el control check-doc-drift, se detecta la contradicción; la herramienta busca líneas cercanas ese marcador, las desviaciones deliberadas van por un camino, las no explicadas hacen fallar la compilación.
Pero nadie comprueba si ese marcador aún significa algo. Nada impide que alguien escriba POR QUÉ solo para silenciar la alerta, nada verifica si la razón original detrás de una anterior todavía se sostiene.
¿Qué pasa con esa convención a través de cientos de PRs por semana, una vez que está entre una regresión y un pase silencioso? 👍
#dusk $DUSK @Dusk
Hipófisis, creada para detectar cuando los documentos, las especificaciones y el código dejan de ponerse de acuerdo. Apúntala a un repositorio, indexa las especificaciones y los registros de decisiones, y marca diferencias que contradicen algo que ya se aceptó. La ejecuté contra un diff de prueba que claramente rompía una especificación existente.
No falló la verificación. Pensé que era un error.
No lo era. La herramienta busca un comentario de justificación cerca del cambio, del tipo POR QUÉ, HACK, ese tipo de marcador. Si alguien ya anotó la desviación como deliberada, se enruta de forma distinta que un simple desvío accidental.
Esa es la división real. Una contradicción y una violación no son lo mismo aquí. La especificación dice una cosa, el código dice otra, pero se registra en lugar de fallar si una persona ya explicó la brecha.
La especificación se escribe e indexa, el código se desvía, el diff pasa por el control check-doc-drift, se detecta la contradicción; la herramienta busca líneas cercanas ese marcador, las desviaciones deliberadas van por un camino, las no explicadas hacen fallar la compilación.
Pero nadie comprueba si ese marcador aún significa algo. Nada impide que alguien escriba POR QUÉ solo para silenciar la alerta, nada verifica si la razón original detrás de una anterior todavía se sostiene.
¿Qué pasa con esa convención a través de cientos de PRs por semana, una vez que está entre una regresión y un pase silencioso? 👍
#dusk $DUSK @Dusk
