Pateikite pavyzdį patikros formulės Use Case'e.

Naudojimo atvejo patikros formulė yra sąlyga, kuri turi būti įvykdyta, kad žingsnis ar visas scenarijus būtų sėkmingas.

Pavyzdys: naudojimo atvejo "Užsakymo pateikimas" patikros formulė gali būti tokia:

Jei užsakymo suma > 0 ir krepšelyje esantys prekių skaičius > 0, pereiti prie apmokėjimo leidžiama.

Arba logikos išraiškos forma:

(Užsakymo_suma > 0) IR (Prekių_skaičius > 0)

Tai padeda formalizuoti verslo taisykles ir automatizuoti patvirtinimą reikalavimų analizės etape.