Cho ví dụ đoạn mã giả sau:

01 Input number of male rabbits

02 Input number of female rabbits

03 If male rabbits > 0 and female rabbits > 0 then

04 Input Do you want to breed (Yes / No)

05 If breed = “No”

06 Print “Keep male and female rabbits apart!”

07 End if

08 End If.

Phát biểu nào sau đây đảm bảo câu lệnh “06” thực thi?

Kiểm thử hộp đen (Black-box testing) là một phương pháp kiểm thử phần mềm mà trong đó, cấu trúc bên trong hoặc hoạt động của phần mềm không được biết đến hoặc không được xem xét. Các kỹ thuật kiểm thử hộp đen tập trung vào việc kiểm tra chức năng của phần mềm dựa trên các yêu cầu và đặc tả.

Các kỹ thuật kiểm thử hộp đen phổ biến bao gồm:
- Phân lớp tương đương (Equivalence partitioning):
- Phân tích giá trị biên (Boundary value analysis):
- Bảng quyết định (Decision table testing)
- Kiểm tra chuyển trạng thái (State transition testing)
- Sử dụng trường hợp (Use case testing)
- Đoán lỗi (Error guessing)
- Kiểm tra cú pháp (Syntax testing).

Phủ câu lệnh (Statement coverage) là một kỹ thuật kiểm thử hộp trắng (White-box testing), trong đó người kiểm thử cần thiết kế các trường hợp kiểm thử sao cho mỗi câu lệnh trong mã nguồn được thực thi ít nhất một lần. Đồ thị nguyên nhân kết quả là một phương pháp thuộc kiểm thử hộp đen.

Vậy đáp án D (Phủ câu lệnh) không phải là một kỹ thuật của kiểm thử hộp đen.

Kiểm thử phần mềm nên bắt đầu càng sớm càng tốt trong vòng đời phát triển phần mềm (SDLC). Điều này có nghĩa là kiểm thử có thể bắt đầu ngay khi các yêu cầu phần mềm được phê duyệt. Việc kiểm thử sớm giúp phát hiện các lỗi sớm hơn, giảm chi phí sửa lỗi và cải thiện chất lượng phần mềm tổng thể.

Độ phức tạp Cyclomatic (Cyclomatic Complexity) là một độ đo phần mềm, được phát triển bởi Thomas J. McCabe, Sr. vào năm 1976. Nó được sử dụng để chỉ ra độ phức tạp của một chương trình.

Kiểm thử hộp trắng (White-box testing) là kỹ thuật kiểm thử phần mềm mà trong đó cấu trúc bên trong, thiết kế và cách thức hoạt động của phần mềm được biết đến. Các phương pháp kiểm thử hộp trắng bao gồm:

- Phủ kiểm thử câu lệnh (Statement coverage): Đảm bảo mỗi câu lệnh trong mã nguồn được thực thi ít nhất một lần.
- Phủ kiểm thử điều kiện (Condition coverage): Đảm bảo tất cả các điều kiện logic trong mã nguồn (ví dụ: trong câu lệnh if) được kiểm tra với cả giá trị đúng và sai.
- Phủ kiểm thử quyết định (Decision coverage) hay còn gọi là Branch coverage: Đảm bảo mỗi nhánh (ví dụ: nhánh then và else của câu lệnh if) được thực thi ít nhất một lần.
- Phủ kiểm thử đường dẫn (Path coverage): Đảm bảo tất cả các đường dẫn có thể có trong mã nguồn được thực thi ít nhất một lần.
- Kiểm thử bảng quyết định (Decision table testing): Là một kỹ thuật kiểm thử hộp đen, nhưng cũng có thể được sử dụng trong kiểm thử hộp trắng để đảm bảo tất cả các kết hợp đầu vào và hành động tương ứng được kiểm tra.

Do đó, cả "Phủ kiểm thử câu lệnh", "Phủ kiểm thử bảng quyết định" và "Phủ kiểm thử điều kiện" đều thuộc kỹ thuật kiểm thử hộp trắng.

Mục đích chính của việc lựa chọn testcase là để đánh giá cả rủi ro và chất lượng của phần mềm. Testcase giúp phát hiện các lỗi tiềm ẩn (đánh giá rủi ro) và xác định mức độ đáp ứng của phần mềm so với các yêu cầu đặt ra (đánh giá chất lượng). Vì vậy, đáp án C là chính xác nhất.