Mặc_dù kiểm_tra có_thể xác_định tính chính_xác của phần_mềm theo giả_định của một_số giả_thuyết cụ_thể ( xem phân_cấp độ khó kiểm_tra bên dưới ) , việc kiểm_tra không_thể xác_định tất_cả các lỗi trong phần_mềm .Thay vào đó , nó cung_cấp một lời chỉ_trích hoặc so_sánh so_sánh trạng_thái và hành_vi của sản_phẩm chống lại các nguyên_tắc hoặc cơ_chế của Oracles , theo đó ai đó có_thể nhận ra một vấn_đề .Các nhà tiên_tri này có_thể bao_gồm ( nhưng không giới_hạn ) thông_số kỹ_thuật , hợp_đồng , sản_phẩm có_thể so_sánh , phiên_bản trước của cùng một sản_phẩm , suy_luận về mục_đích dự_định hoặc dự_kiến , kỳ_vọng của người dùng hoặc khách_hàng , các tiêu_chuẩn liên_quan , luật hiện_hành hoặc các tiêu_chí khác .
Trong khi tìm_kiếm lỗi , việc kiểm_tra có_thể làm gì khác ?
cung_cấp một lời chỉ_trích hoặc so_sánh