Co to zna­czy, że wyma­ga­nia są zwe­ry­fi­ko­wa­ne? To zna­czy, że z powo­dze­niem prze­pro­wa­dzo­no test pole­ga­ją­cy na wyko­na­niu wszyst­kich czyn­no­ści mode­lu pro­ce­su biz­ne­so­we­go. Skąd to wie­my? Bo na wej­ściu mode­lu pro­ce­su ​„poda­no” praw­dzi­we doku­men­ty, uda­ło się na mode­lu wska­zać wszyst­kie czyn­no­ści wyma­ga­ne do obsłu­że­nia tego doku­men­tu i nie było innych zbęd­nych, otrzy­ma­li­śmy taki sam rezul­tat (wyni­ko­wy doku­ment i jego stan) jak w natu­rze oraz na liście przy­pad­ków uży­cia są wszyst­kie te i tyl­ko te, któ­re były potrzeb­ne by ten pro­ces bez błę­du prze­szedł do koń­ca. Jak to się robi? Przeczytaj o tym tu.

Jeżeli doku­ment wyma­gań nie speł­nia tych kry­te­riów, to jak sam Hume twier­dzi, jest on bez­war­to­ścio­wy, nie nie­sie żad­nej wie­dzy gdyż poszcze­gól­ne wyma­ga­nia są: albo nie­zro­zu­mia­łe, albo zro­zu­mia­łe lecz nie uza­sad­nio­ne, albo zro­zu­mia­łe i zasad­ne lecz banal­ne (np. mają być Sprecyzowane). Tak więc wie­my co to zna­czy FURPS i SMART (powyż­sze skró­ty). Odbierając doku­men­ty ana­liz zada­waj­cie pyta­nie: a skąd wie­my, że te wyma­ga­nia (któ­re ktoś spi­sał) są FURPS i SMART i co to oznacza?