Thử nghiệm thiết kế để thực hiện mỗi kết quả của mỗi điểm quyết định trong một chương trình máy tính.