O processo de check-out hierarquicamente organizados programas, progressivamente, de cima para baixo, usando a simulação de componentes de nível inferiores.