Una progressió ordenada de proves de incrementals peces del programa de programari en quin programari elements, elements de maquinari o tots dos s'han combinat i provat fins que tot el sistema s'ha integrat per demostrar el compliment amb el disseny del programa i capacitats i requisits del sistema.