Phát biểu nào sau đây đúng với kỹ thuật kiểm tra phân vùng tương đương?I. Chia các đầu vào có thể có thành các lớp có cùng hành vi.II. Có thể được sử dụng để tạo cả trường hợp thử nghiệm tích cực và tiêu cực.III. Chỉ sử dụng các trường hợp thử nghiệm tích cực cho các phân vùng tương đương.IV. Phải luôn bao gồm ít nhất hai giá trị từ mọi phân vùng tương đương.V. Chỉ có thể được sử dụng để kiểm tra đầu vào.

Tiêu chí thoát (exit criteria) trong kiểm thử phần mềm là những điều kiện hoặc tiêu chuẩn được xác định trước để quyết định khi nào có thể dừng quá trình kiểm thử. Mục đích chính của tiêu chí thoát là xác định thời điểm các hoạt động kiểm thử nên được coi là hoàn thành và khi nào có thể chuyển sang giai đoạn tiếp theo của vòng đời phát triển phần mềm. Các lựa chọn khác không liên quan trực tiếp đến mục đích này.

Kiểm thử phi chức năng (Non-functional testing) tập trung vào các khía cạnh như hiệu năng (performance), khả năng chịu tải (load), bảo mật (security), khả năng sử dụng (usability), v.v. của phần mềm. Trong các lựa chọn được đưa ra, chỉ có "Performance testing" (Kiểm thử hiệu năng) thuộc về kiểm thử phi chức năng.

Các lựa chọn khác:
- Black box testing (Kiểm thử hộp đen) và Unit testing (Kiểm thử đơn vị) là các loại kiểm thử chức năng, tập trung vào việc kiểm tra các chức năng và hành vi của phần mềm.

Vì vậy, đáp án đúng là B.

Kiểm thử hộp trắng (White-box testing) là một phương pháp kiểm thử phần mềm, trong đó cấu trúc bên trong, thiết kế và cách thực hiện của phần mềm được biết đến với người kiểm thử. Các kỹ thuật kiểm thử dòng dữ liệu và dòng điều khiển là các kỹ thuật thuộc kiểm thử hộp trắng. Kỹ thuật phân chia lớp tương đương là một kỹ thuật thuộc kiểm thử hộp đen (Black-box testing), trong đó người kiểm thử không cần biết về cấu trúc bên trong của phần mềm. Vì vậy, đáp án đúng là C.

Kiểm thử hộp đen (Black-box testing) là một phương pháp kiểm thử phần mềm mà không yêu cầu kiến thức về cấu trúc bên trong, thiết kế hoặc cách triển khai của phần mềm. Nó 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 vùng tương đương, phân tích giá trị biên, bảng quyết định, kiểm thử chuyển trạng thái và đoán lỗi.

Kiểm thử dòng điều khiển (Control flow testing) là một kỹ thuật kiểm thử hộp trắng (White-box testing), yêu cầu kiến thức về cấu trúc bên trong của phần mềm để thiết kế các trường hợp kiểm thử. Nó tập trung vào việc kiểm tra các đường dẫn thực thi khác nhau trong mã nguồn.

Vì vậy, kỹ thuật kiểm thử dòng điều khiển không phải là một kỹ thuật kiểm thử hộp đen.

Các lựa chọn còn lại:
- Kỹ thuật phân chia lớp tương đương (B) là một kỹ thuật kiểm thử hộp đen, trong đó miền đầu vào được chia thành các lớp tương đương và mỗi lớp được kiểm tra bằng một số trường hợp kiểm thử.
- Kỹ thuật phân tích giá trị biên (C) là một kỹ thuật kiểm thử hộp đen, tập trung vào việc kiểm tra các giá trị ở biên của miền đầu vào.
- Lựa chọn (D) là sai vì không phải tất cả các nội dung trên đều là kỹ thuật kiểm thử hộp đen.

Kiểm thử dòng dữ liệu tĩnh (static data flow testing) là một kỹ thuật phân tích mã nguồn mà không cần thực thi chương trình. Mục tiêu chính là xác định các sai sót tiềm ẩn liên quan đến việc sử dụng dữ liệu, chẳng hạn như biến được gán giá trị nhưng không bao giờ được sử dụng, hoặc biến được sử dụng trước khi được gán giá trị. Những sai sót này được gọi là các bất thường của dòng dữ liệu (data flow anomaly). Do đó, đáp án D ("Tất cả các nội dung trên") là đáp án đúng vì nó bao gồm tất cả các khía cạnh của kiểm thử dòng dữ liệu tĩnh: xác định các bất thường, phân tích mã nguồn và không chạy mã nguồn.