Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

Důkazy

Tvrzení jmenuje test, který o něm rozhoduje, zaznamenaný běh se posuzuje proti commitu, nad nímž proběhl, a tvrzení bez zaznamenaného běhu to přímo říká.

Selhání, na které odpovídá

Tvrzení předbíhají důkazy. Dokumentace říká jedno, runtime dělá druhé a nikdo neumí ukázat, co je pravda.

Co ukazuje, že tvrzení o produktu je pravdivé: tvrzení spojená s provedeními zaznamenanými pro jejich testy, případy užití, které nástroj spouští sám proti sobě, měření rychlosti a nákladů na tokeny, která jsou zaznamenána, ne napsána, a původ každého záznamu. Běh proti tomuto commitu se nikdy nehlásí jako totéž co běh, jehož vstupy se prostě nezměnily.

Není v této doméně: verdikt o jedné úloze, což je dokončení; a pravidla, o nichž tvrzení je, což je správa.

Funkce zařazené pod ní

Každá funkce pojmenovává tuto doménu ve vlastním souboru; doména žádnou z nich nevypisuje. Funkce přidaná s touto doménou je na této stránce při dalším buildu a odebraná zmizí.

  • Ekonomika

    Co spotřebuje programátorská relace s Majordomem a bez něj, z párovaných běhů posuzovaných týmiž skrytými testy, přičemž každé číslo je označeno způsobem, jakým vzniklo, a publikuje se až po splnění deklarovaného pravidla.

    2 ze 3 tvrzení zaručeno pojmenovaným testem

  • Původ

    Kdo co udělal, v jaké úloze, v jakém commitu a v jaké relaci, je kniha záznamů, kterou nástroj píše a člověk si ji může zpětně přečíst, a ne paměť konverzace.

    6 z 9 tvrzení zaručeno pojmenovaným testem · 2 případy užití

  • Případy užití

    To, co člověk s nástrojem dělá, je jeden soubor se scénářem, který nástroj spouští sám proti sobě; stránka ukazuje toto provedení a veřejný příkaz, který nespouští žádný případ užití, je mezera, kterou nástroj hlásí.

    4 ze 4 tvrzení zaručeno s pojmenovaným testem · 1 případ užití

  • Důkazy

    Každé tvrzení je spojeno s provedením zaznamenaným pro jeho test — výsledek, commit, strom, otisk a příkaz, který ho vytvoří znovu — a běh proti tomuto commitu se nikdy nehlásí jako totéž co běh, jehož vstupy se prostě nezměnily.

    12 z 12 tvrzení zaručeno s pojmenovaným testem

  • Měření výkonu

    Každá externě volatelná operace se měří přímo, přes MCP i přes HTTP, jmenovatel se generuje z registru a regrese oproti přijaté základní hodnotě kontrolu neprojde.

    6 ze 6 tvrzení zaručeno s pojmenovaným testem · 1 případ užití

Způsoby selhání, na které její funkce odpovídají

Provozní okamžiky z katalogu Why, které pojmenovávají pravidlo, příkaz, schopnost nebo tvrzení funkce v této doméně. Nic zde nebylo přiřazeno.

Každý režim selhání, na který odpovídá (19)

Co se tvrdí

Každé tvrzení, které pojmenovává funkce této domény, jednou, se stavem, který deklaruje — zaručeno, poradní, plánováno nebo zamítnuto — a testem, který ho rozhoduje. Zda zaznamenaný běh tvrzení podporuje, je verdikt jeho vlastní stránky.

34 tvrzení, 30 zaručeno pojmenovaným testem

Spustitelné případy užití

Scénáře, které nástroj spouští sám proti sobě při každém sestavení tohoto webu.

Prohledává názvy a popisy všech stránek, které tento web publikuje.