En avaluació de programari, un model utilitzat per estimar o predir el nombre de faltes restants, prova requereix temps i similars característiques d'un sistema.