Locating a fault once a failure has

Locating a fault once a failure has been observed: since the internal state is not directly observable, a failure could be the result of a transition producing the wrong output or a previous transition moving us to the wrong state. Thus, additional testing may be required in order to determine which transitions are erroneous and we would like to minimise the amount of additional testing.

Kết quả (Việt) 1:

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.

Kết quả (Việt) 2:

Nằm một lỗi một lần thất bại đã được quan sát thấy: vì trạng thái nội bộ là không trực tiếp quan sát, một 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 ta tới trạng thái sai. Như vậy, xét nghiệm bổ sung có thể được yêu cầu để xác định quá trình chuyển đổi là sai lầm và chúng tôi muốn giảm thiểu số lượng các thử nghiệm bổ sung.