1. Kiểm thử cho thấy sự hiện diện của lỗi.

2. Kiểm thử toàn diện là không thể

3. Kiểm thử càng sớm càng tốt

4. Lỗi phân bổ tập trung

5. Nghịch lý thuốc trừ sâu

6. Kiểm thử phụ thuộc vào ngữ cảnh

7. Phần mềm không lỗi