Xác định vị trí một lỗi sau khi một sự thất bại đã được quan sát thấy: kể từ khi nhà nước nội bộ là không trực tiếp quan sát, một sự thất bại có thể là kết quả của một quá trình chuyển đổi sản xuất đầu ra sai hoặc một quá trình chuyển đổi trước đó di chuyển chúng ta đến bang sai. Do đó, thử nghiệm bổ sung có thể được yêu cầu để xác định quá trình chuyển đổi đó là sai và chúng tôi mong muốn giảm thiểu số lượng thử nghiệm bổ sung.
đang được dịch, vui lòng đợi..
