Gender Age Salary Output Correct output Pass/Fail
Male 18 5000 75*5000 75*5000 P Male 19 5000 75*5000 75*5000 P Male 25 5000 75*5000 75*5000 P Male 54 5000 30*5000 30*5000 P Male 55 5000 30*5000 30*5000 P Male 25 0 75*0 75*0 P Male 25 1 75*1 75*1 P Male 25 9999 75*9999 75*9999 P Male 25 10000 75*10000 75*10000 P Female 25 5000 75*5000 70*5000 F
Với bảng mô tả các ca kiểm thử trên ta thấy trường hợp kết quả ở dòng cuối cùng là sai vì giá trị đầu ra của chương trình sai khác so với giá trị mong muốn. Dựa vào kết quả này, kiểm thử viên có thể yêu cầu lập trình viên kiểm tra lại tính chính xác của thuật toán được cài đặt.
3.1.2. Kiểm thử biên mở rộng
Kiểm thử biên mở rộng - Robustness testing là một sự mở rộng của kỹ thuật phân tích giá trị biên cơ bản bằng cách thêm vào tập các giá trị biên cơ bản các giá trị vượt ra ngoài biên, nằm ngoài tập giá trị đang xét. Nếu một hệ thống được cài đặt đúng thì với các giá trị đầu vào nằm ngoài biên sẽ không dẫn tới các lỗi của chương trình, hệ thống không bị treo hay có những thông báo bất thường. Ví dụ trong lập trình với ngôn ngữ C/C++ nếu chúng ta khai báo biến con trỏ *p và cấp phát bộ nhớ cho nó vượt quá bộ nhớ dùng để thực thi chương trình hoặc trỏ đến địa chỉ của các thanh ghi điều khiển thì chương trình sẽ bị treo. Với các chương trình phần mềm nhúng thường được kiểm tra chặt chẽ sự liên kết với các đại lượng vật lý như giới hạn nhiệt độ, giới hạn về bộ nhớ,… nhằm đảm bảo chương trình thực thi đúng đắn.