Bước thử nghiệm ban đầu thứ hai - có thể được thực hiện bằng cách áp dụng các thử nghiệm logic vào các tệp dữ liệu điện tử hoặc báo cáo bản cứng.
Các bài kiểm tra logic được đưa ra lý thuyết nhưng không được áp dụng trong bước kiểm tra thứ hai.