Ověřování a důkazy

Zda je "hotovo" tvrzení, nebo fakt, a co by ten rozdíl dokázalo.

Ověřování a důkazy

Model hlásící úspěch je tvrzení. Důkaz je příkaz, který běžel, jeho návratový kód a to, co vypsal. Tato oblast pokrývá vše, co plyne z přijetí prvního, jako by to bylo druhé: funkce bez testů, dokumentace bez chování, API, jejichž smlouva se změnila a dokument smlouvy ne.

10 okamžiků

Každý okamžik, který pojmenovává tento. Odvozeno z okamžiků; tato stránka žádný seznam nevede.

přijali jste „hotovo“, protože to řekl model, a druhý den za to zaplatiliPlynulé tvrzení o dokončení se bere jako důkaz, protože nic předem nezapsalo, co by muselo platit. cena: vysokáběžné Proč a co s tím →
našli jste pravidlo, o kterém všichni věřili, že se vynucuje, a nic ho nikdy nespustiloExistují všechny artefakty vynucování — pravidlo, skript, test — a žádná cesta je nepropojuje, takže kontrola je fikce. cena: vysokáběžné Proč a co s tím →
uzavřel úkol, jehož kritéria přijetí nic skutečně neověřiloDokončení se zaznamenává jako změna stavu v trackeru, ne jako důkaz v repozitáři, takže se obojí okamžitě rozejde. náklady: vysokéběžné Proč a co s tím →
přečetl v README slib, za kterým nestál žádný testVěta popisující, co software dělá, se napíše jednou a nikdy se nepropojí s ničím, co by selhalo, kdyby přestala platit. náklady: vysokéběžné Proč a co s tím →
vydal změnu rozhraní, jejíž dokument kontraktu stále popisoval to staréKontrakt udržovaný ručně vedle kódu, který popisuje, zastará při první změně, která na něj zapomene. náklady: vysokéběžné Proč a co s tím →
vložil příkaz z dokumentace a sledoval, jak selhalPříklady se píšou jednou, v próze, a nic je už nikdy nespustí. náklady: středníběžné Proč a co s tím →
měli zelený pipeline nad vygenerovanými soubory, které už neodpovídaly svým zdrojůmTesty procvičují kód a neříkají nic o commitnutých výstupech z něj odvozených, takže build je zelený a artefakty špatně. náklady: středníčasté Proč a co dělat →
přišel o selhání, které už worker reprodukoval, protože relace skončilaSelhání pozorované uvnitř relace je popsáno v té relaci a nikde jinde, takže další začíná od hlášení, ne od důkazů. náklady: středníběžné Proč a co s tím →
publikoval stránku, která slibovala víc, než by jakýkoli test uneslVeřejný materiál vzniká jiným úkonem než kód, takže ujíždí před chování a nic ho nevrací zpět. náklady: vysokéběžné Proč a co s tím →
nedokázal reprodukovat výsledek, protože nic nezaznamenalo stav, ze kterého vzešelVýsledek je zaznamenán a podmínky, které ho vytvořily, ne, takže je to anekdota, ne měření. náklady: vysokéobčasné Proč a co s tím →