Thử nghiệm trong đó hai hoặc nhiều phiên bản của một chương trình được thực hiện với các đầu vào tương tự, kết quả đầu ra được so sánh, và lỗi được phân tích trong trường hợp sự khác biệt.