Running a test for every possible u

Running a test for every possible update point would be

prohibitively expensive. Fortunately, many update tests are

provably redundant: Suppose a dynamic patch does not

change the code of function f. Then a test with an update

point just before a call to f will behave identically to the

same test with an update point just after that call to f.

Therefore, we only need to run one of these two possible

update tests, rather than both possible tests.

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

Chạy một thử nghiệm cho mỗi điểm có thể cập nhật nàotốn đắt tiền. May mắn thay, nhiều bản Cập Nhật thử nghiệmprovably dự phòng: giả sử một bản vá năng động khôngthay đổi mã của hàm số f. Sau đó là một thử nghiệm với một bản Cập Nhậtchỉ ngay trước khi một cuộc gọi đến f sẽ cư xử giống nhau đến cáccùng một thử nghiệm với một điểm Cập Nhật chỉ sau khi mà gọi để f.Vì vậy, chúng tôi chỉ cần chạy một trong có thể haiCập Nhật thử nghiệm, chứ không phải là cả hai bài kiểm tra có thể.

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

Chạy một thử nghiệm cho tất cả các điểm cập nhật có thể sẽ tốn kém. May mắn thay, nhiều bài kiểm tra bản cập nhật là provably dự phòng: Giả sử một bản vá động không thay đổi mã của hàm f. Sau đó, một thử nghiệm với một bản cập nhật điểm ngay trước khi một cuộc gọi đến f sẽ cư xử giống hệt với bài kiểm tra cùng với một điểm cập nhật ngay sau khi có cuộc gọi đến f. Vì vậy, chúng tôi chỉ cần chạy một trong hai có thể kiểm tra cập nhật, thay vì cả hai có thể các bài kiểm tra.