Процесс проверки из иерархически организованной программы, постепенно, сверху вниз, с помощью моделирования компонентами нижнего уровня.