Uhakiki wa kiufundi wa uwezo wa mpangilio wa mfumo uliopendekezwa, sehemu ya badala, au sifa au kazi za programu yake, ili kukidhi mahitaji ya kazi.
Uthibitisho inahitaji multiples makundi tofauti ya kupimwa.