The pseudo-oracle transformation en

The pseudo-oracle transformation encapsulates some as- pect of a program that should not produce any difference in behaviour when transformed, but in practice may do so in certain circumstances, and in which case may indicate a fault with the original program. Can further types of pseudo- oracle transformation be defined, and how can better fitness functions be designed to automatically reveal discrepancies between different versions of the same program? In the work of McMinn , differences could only be found at random, with the search was used instead to maximize the ‘size’ of the difference in behaviour.

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

Sự chuyển đổi pseudo-oracle đóng gói một số như-pect của một chương trình nên không sản xuất bất kỳ sự khác biệt trong hành vi khi chuyển đổi, nhưng trong thực tế có thể làm như vậy trong một số trường hợp, và trong trường hợp có thể chỉ ra một lỗi với chương trình ban đầu. Có thể thêm các loại chuyển đổi pseudo-oracle được định nghĩa, và làm thế nào tốt hơn thể dục chức năng có thể được thiết kế để tự động tiết lộ sự khác biệt giữa các phiên bản khác nhau của cùng một chương trình? Trong công việc của sân bay McMinn, khác biệt chỉ có thể là tìm thấy tại ngẫu nhiên, với việc tìm kiếm được sử dụng để thay thế để tối đa hóa kích thước của sự khác biệt trong hành vi.

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

Việc chuyển đổi giả oracle đóng gói một số pect như- của một chương trình mà không cần phải tạo ra bất kỳ sự khác biệt trong hành vi khi chuyển đổi, nhưng trong thực tế có thể làm như vậy trong một số trường hợp, và trong trường hợp đó có thể chỉ ra một lỗi với chương trình ban đầu. Có thể tiếp tục chuyển đổi loại oracle pseudo- được xác định, và làm thế nào có thể tốt hơn chức năng tập thể dục được thiết kế để tự động cho thấy sự khác biệt giữa các phiên bản khác nhau của cùng một chương trình? Trong công việc của McMinn, sự khác biệt chỉ có thể được tìm thấy một cách ngẫu nhiên, với việc tìm kiếm được sử dụng thay vì để tối đa hóa 'kích thước' của sự khác biệt trong hành vi.