Thử nghiệm có thể cho thấy khiếm khuyết, có mặt,
hiện diện của các khuyết tật nhưng không thể chứng minh rằng không có
khuyết tật. Kiểm tra giảm xác suất của
các khuyết tật chưa được khám phá còn lại trong
phần mềm nhưng, ngay cả khi không có lỗi được tìm thấy,
nó không phải là một bằng chứng về tính đúng đắn.
đang được dịch, vui lòng đợi..