Các định nghĩa(tiếp)
- Định nghĩa: Việc kiểm nghiệm là quá trình thực thi một chương trình với mục đích là tìm ra lỗi. (Glen Myers) Giải thích theo mục đích: Việc thử nghiệm hiển nhiên là nói đến các lỗi (error), sai sót (fault), hỏng hóc (failure) hoặc các hậu quả (incident). Một phép thử là một cách chạy phần mềm theo các trường hợp thử nghiệm với mục tiêu là: Tìm ra sai sót. Giải thích sự hoạt động chính xác. (Paul Jorgensen) Các thuật ngữ: Lỗi (Error) Là các lỗi lầm do con người gây ra. Sai sót (Fault): Sai sót gây ra lỗi. Có thể phân loại như sau: Sai sót do đưa ra dư thừa – chúng ta đưa một vài thứ không chính xác vào mô tả yêu cầu phần mềm. Sai sót do bỏ sót – Người thiết kế có thể gây ra sai sót do bỏ sót, kết quả là thiếu một số phần đáng ra phải có trong mô tả yêu cầu phần mềm. Hỏng hóc (Failure): – Xảy ra khi sai sót được thực thi. (Khi thực thi chương trình tại các nơi bị sai thì sẽ xảy ra trạng thái hỏng hóc). Kết quả không mong đợi, hậu quả (Incident) – Là những kết