Given the following pseudo-code, which is true about the minimum number of test cases required for full statement and branch coverage: Read A Read B IF A-B > 50 THEN Print Sum A and B IF B > 10 THEN Print B is greater than 10 ENDIF ENDIF

Để đánh giá độ chính xác của mã nguồn, chúng ta cần xác định số lượng thử nghiệm tối thiểu để đạt được sự bao phủ đầy đủ về câu lệnh và nhánh. Mã nguồn được cung cấp là một đoạn mã pseudo-code với các câu lệnh và điều kiện logic. Để đạt được sự bao phủ đầy đủ về câu lệnh, chúng ta cần thực hiện ít nhất 2 thử nghiệm. Thử nghiệm đầu tiên sẽ đọc giá trị của A và B, sau đó thực hiện câu lệnh IF A-B > 50. Thử nghiệm thứ hai sẽ đọc giá trị của B và thực hiện câu lệnh IF B > 10. Để đạt được sự bao phủ đầy đủ về nhánh, chúng ta cần thực hiện thêm 1 thử nghiệm nữa. Thử nghiệm này sẽ đọc giá trị của A và B, sau đó thực hiện cả hai câu lệnh IF A-B > 50 và IF B > 10. Vì vậy, số lượng thử nghiệm tối thiểu để đạt được sự bao phủ đầy đủ về câu lệnh và nhánh là 2 thử nghiệm cho câu lệnh và 2 thử nghiệm cho nhánh.