Quá trình kiểm tra hierarchically tổ chức chương trình, dần dần, từ trên xuống dưới, sử dụng các mô phỏng của các thành phần cấp thấp hơn.