Намунаи формулаи санҷишро дар Use Case пешниҳод кунед.

Формулаи тафтиш дар Use Case — шартеест, ки бояд иҷро шавад, то ки қадами ё тамоми сценария бо муваффақият гузарад.

Масалан: дар Use Case "Таҳрири фармон" формулаи тафтиш метавонад чунин бошад:

Агар маблағи фармон > 0 ва шумораи маҳсулот дар сабад > 0, гузаштан ба пардохт иҷозат дода мешавад.

Ё дар шакли изрази мантиқӣ:

(Маблағи_фармон > 0) ВА (Шумораи_маҳсулот > 0)

Ин кӯмак мекунад, ки қоидаҳои бизнесро расмӣ ва дар марҳилаи таҳлили талаботҳо тасдиқро автоматӣ гардонад.