The testing technique that requires devising test cases to demonstrate that each program function is operational is called

Đáp án đúng: "Black-box testing". Kiểm thử hộp đen (black-box testing) thiết kế ca kiểm thử từ đặc tả chức năng mà không cần biết cấu trúc bên trong, với mục đích chứng minh từng chức năng của chương trình hoạt động đúng: đưa đầu vào, quan sát đầu ra, đối chiếu với yêu cầu. Định nghĩa trong câu hỏi, lập ca kiểm thử để chứng minh mỗi chức năng đều vận hành được, chính là định nghĩa kinh điển của kiểm thử hộp đen. "Glass-box testing" là tên gọi khác của kiểm thử hộp trắng, dựa vào cấu trúc mã để phủ câu lệnh, nhánh, đường đi chứ không xuất phát từ chức năng. "White-box testing" cũng vậy, mục tiêu là kiểm các đường logic bên trong. "Grey-box testing" kết hợp hiểu biết một phần cấu trúc bên trong với góc nhìn chức năng, không phải kỹ thuật thuần tuý dựa vào chức năng như câu hỏi mô tả.