Xác minh xem các giao diện thực hiện một cách chính xác đặt ra một vấn đề. Các veri cụ fi cation truyền thống là một thử nghiệm oracle- một chương trình riêng biệt mà tạo ra kết quả mong đợi đối với một trường hợp thử nghiệm và so sánh chúng với các kết quả thực tế. Trong thử nghiệm phần mềm thông thường, các thử nghiệm gọi oracle sau khi thử nghiệm trường hợp thực hiện và so sánh sản lượng fi nal với sản lượng dự kiến của oracle. Ngược lại, một trường hợp thử nghiệm giao diện đòi hỏi đan xen invocation oracle với việc thực hiện kiểm tra trường hợp vì một nhà nước GUI không chính xác có thể dẫn đến một màn hình bất ngờ, do đó có thể làm cho trường hợp thử nghiệm hơn nữa thực vô dụng (ví dụ, các trường hợp thử nghiệm có thể bao gồm một nút trên màn hình giao diện mà không còn tồn tại).
đang được dịch, vui lòng đợi..
