Rezultatele oferite de un program sunt corecte dacă:
- aparţin unui tip,
- sunt cuprinse într-un interval,
- verifică nişte chei de control,
- corespund din punct de vedere cantitativ
- corespund din punct de vedere numeric,
- sunt în ordinea aşteptată.
Mulţi dintre programatori construiesc seturi de date de test şi verifică programele lor cu acele seturi de date de test. Seturile de date de test trebuie să fie:
- reprezentative,
- acoperitoare,
- corecte,
- complete,
- proporţionale cu ceea ce este pe teren.
Tot timpul trebuie avut în vedere ca seturile de date de test să acopere arborescenţa asociată programului şi să ia în considerare şi aşa-zisele situaţii imposibilie, pentru că apar situaţii când programul îşi întrerupe execuţia tocmai din cauza intrării pe o ramură care nu a fost testată chipurile, că programatorul a considerat că pe acolo nu se va trece la execuţie vreodată.
Numai rezultatele finale care-l satisfac pe client vor fi cele care-l vor convinge pe acesta că produsul software este bun.
Pentru calitatea rezultatelor finale se defineşte un indicator IQDR care se calculează foarte simplu şi care în final vor da valoarea indicatorului agregat al aplicaţiei informatice IAQA.