Provning utförs för att kontrollera att rätt utformning och programmet kraven för ett programvaruelement (t.ex. enhet, modul) eller en samling programvaruelement.